Search results for "Certification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
83	Damian Dechev, Bjarne Stroustrup	Model-Based Product-Oriented Certification.	ECBS	2009	DBLP DOI BibTeX RDF
83	Ahmed E. Hassan, Ken Zhang	Using Decision Trees to Predict the Certification Result of a Build.	ASE	2006	DBLP DOI BibTeX RDF
83	Lam Wing Hong, Lim Swee Cheang, Yum Hui Yuen	Towards a Certification-Centred Software Engineering Programme.	CSEE&T	2002	DBLP DOI BibTeX RDF
83	David R. Skeen	EDP certification: is it necessary?	AFIPS National Computer Conference	1974	DBLP DOI BibTeX RDF
81	Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira	Component-Based Software Certification Based on Experimental Risk Assessment.	LADC	2007	DBLP DOI BibTeX RDF	Component-based system certification, Experimental Risk Assessment, Fault Injection
77	Leo Hitchcock	Industry certification: value, validity, and a place for SoDIS®.	ACM SIGCSE Bull.	2005	DBLP DOI BibTeX RDF	IT certification, industry certification, professional certification, ethics, risk assessment
77	Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino	Certification of reusable software components: summary of work in progress.	ICECCS	1996	DBLP DOI BibTeX RDF	reusable software component certification, Air Force, Certification Framework, cost benefit plan, certification tools, prototype, software reusability, business strategies, research and development
71	Aileen Cater-Steel, Edmond P. Fitzgerald	Quality assurance certification: adoption by Australian software developers and its association with capability maturity.	APSEC	1997	DBLP DOI BibTeX RDF	software quality assurance certification, Australian software developers, capability maturity, government purchasing policies, QA certification, JAS-ANZ register, organisational characteristics, software quality, survey, CMM, questionnaire, Australia, Hong Kong, research project, Singapore
69	Steven McDonnell, Bonnie E. Melhart	Software assessment to support certification for an existing computer-based system.	ECBS	1996	DBLP DOI BibTeX RDF	software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays
65	Osman Balci	A methodology for certification of modeling and simulation applications.	ACM Trans. Model. Comput. Simul.	2001	DBLP DOI BibTeX RDF	credibility assessment, evaluation, verification, validation, certification, accreditation, quality assessment
63	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	Towards a Software Component Certification Framework.	QSIC	2007	DBLP DOI BibTeX RDF	Component Quality Model, Component Evaluation Techniques, Component Metrics Framework and Component Certification Process, Relevant Topics: Software Component Quality and Software Component Certification
63	Michael Y. Chang, Robert W. L. Thomas	On Certification of Dynamically Re-Configurable Tactical Computer Systems.	IPDPS	2003	DBLP DOI BibTeX RDF	System Certification, Virtual Homogeneity, Layered system certification, Tactical computer system, Dynamic computer system, Verification and Validation, Test and Evaluation, Dynamic resource management
63	Claes Wohlin, Per Runeson	Certification of Software Components.	IEEE Trans. Software Eng.	1994	DBLP DOI BibTeX RDF	software component certification, usage modelling technique, failure statistics, hypothesis certification model, usage testing, software quality, software quality, software reuse, software reliability, software reliability, software reusability, software cost estimation, usage modelling, software cost, usage profile
61	Byoungcheon Lee, Kwangjo Kim	Self-certified Signatures.	INDOCRYPT	2002	DBLP DOI BibTeX RDF	self-certified signature, self-certified key, multi-certification signature, privilege management infrastructure, digital signature, public key infrastructure
60	Benjamin Arazi	Computationally Efficient Distributed and Delegated Certification.	IEEE Trans. Parallel Distributed Syst.	2008	DBLP DOI BibTeX RDF
59	Cristina Satizábal, Jordi Forné, Rafael Martínez-Peláez, Francisco Rico-Novella	Hierarchical Trust Architecture in a Mobile Ad-Hoc Network Using Ant Algorithms.	ARES	2008	DBLP DOI BibTeX RDF	Certification Architectures, Ad-Hoc Networks, Ant Algorithms, Public Key Infrastructure (PKI), Certification Path
57	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	Innov. Syst. Softw. Eng.	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
57	Iman Narasamdya, Michaël Périn	Certification of smart-card applications in common criteria.	SAC	2009	DBLP DOI BibTeX RDF	assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques
57	YiHua Lam, Saadat M. Alhashmi	Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach.	PRIMA	2008	DBLP DOI BibTeX RDF	Halal food, certification process, Multi-agent, supply chain
57	Jinhyung Kim, Jun Hwang, Taemin Kim, Byungwook Lee	Device Certification System and Method for User's Convenient Contents Use.	FGCN (2)	2007	DBLP DOI BibTeX RDF	Authentication, Certification, Contents, Device
57	Sang-Yun Lee, Byung-Uk Choi	Certification Tools of Ubiquitous Mobile Platform.	UIC	2007	DBLP DOI BibTeX RDF	HAL, Certification tool, PCT, HCT, Platform, WIPI
57	Zheng Guo, Tohru Okuyama, Marion R. Finley Jr.	A New Trust Model for PKI Interoperability.	ICAS/ICNS	2005	DBLP DOI BibTeX RDF	Certification Authority (CA), Gateway Certification Authority (GWCA), PKI Interoperability, Public Key Infrastructure (PKI), X.509, Certification Paths
55	Maurizio Talamo	Introduction - E-Government Services: Certification and Securit.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
55	Bertrand Marquet, Adrian Rossi, François J. N. Cosquer	Security Through Integration: Towards a Comprehensive Framework for Development and Certification.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
55	Franco Arcieri, Roberto Giaccio	E-Government Services: Certification and Security Overlay.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
55	Ian T. Foster, Frank Siebenlist, Steven Tuecke, Von Welch	Security and Certification Issues in Grid Computing.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
53	Angela Martin, Rachel Davies, David Hussman, Michael C. Feathers	To Certify or Not to Certify.	XP	2007	DBLP DOI BibTeX RDF	Community Direction, Certification
53	Cristina Satizábal, Rafael Páez, Jordi Forné	PROSEARCH: A Protocol to Simplify Path Discovery in Critical Scenarios.	CRITIS	2006	DBLP DOI BibTeX RDF	hierarchical trust model, peer-to-peer trust model, certification path discovery, critical information systems, Public Key Infrastructure (PKI)
53	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	Synthesizing Certified Code.	FME	2002	DBLP DOI BibTeX RDF	automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code
52	John M. Rushby	Just-in-Time Certification.	ICECCS	2007	DBLP DOI BibTeX RDF
52	Jun Luo 0001, Jean-Pierre Hubaux, Patrick Th. Eugster	DICTATE: DIstributed CerTification Authority with probabilisTic frEshness for Ad Hoc Networks.	IEEE Trans. Dependable Secur. Comput.	2005	DBLP DOI BibTeX RDF	security, simulations, Ad hoc networks, system design, public-key infrastructure, Quorum Systems
52	Georgios Katsikis, Naoum Mengoudis, Alexandros Nanopoulos, Ioannis Samoladas, Ioannis Stamelos	ASPIS: An Automated Information System for Certification and Analysis of Examination Process.	Panhellenic Conference on Informatics	2005	DBLP DOI BibTeX RDF
52	Ralph V. Rogers, Vince Amico, Mark Yerkes	Simulation standards: the simulation professional certification program: a status report.	WSC	2002	DBLP DOI BibTeX RDF
52	Osman Balci, Said D. Saadi	Simulation standards: proposed standard processes for certification of modeling and simulation applications.	WSC	2002	DBLP DOI BibTeX RDF
51	Gregory Zoughbi, Lionel C. Briand, Yvan Labiche	A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software.	MoDELS	2007	DBLP DOI BibTeX RDF	Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority
51	Andrew Stein, Con Nikakis, John Bentley, Rob Jovanovic	The Industry and Education Nexus.	Information and Communication Technologies and Real-Life Learning	2004	DBLP DOI BibTeX RDF	Vendor certification, certification implementation, curriculum
50	Frances Paulisch, Peter Zimmerer	A role-based qualification and certification program for software architects: an experience report from Siemens.	ICSE (2)	2010	DBLP DOI BibTeX RDF	software engineering, software architecture, education, testing, training, curriculum, certification
50	Rim Chayeh, Christophe Cérin, Mohamed Jemni	A Probabilistic Fault-Tolerant Recovery Mechanism for Task and Result Certification of Large-Scale Distributed Applications.	GPC	2009	DBLP DOI BibTeX RDF	Probabilistic certification, Fault-Tolerance by value, Distributed systems, Recovery, Result checking, Meta-computing
50	Dominique Burger, Pierre Guillou	Towards Web Accessibility Certification: The Findings of the Support-EAM Project.	ICCHP	2006	DBLP DOI BibTeX RDF	eAccessibility, Supplier’s declaration, Quality Mark, Web accessibility, Certification, Conformity
50	J. Fernando Naveda, Stephen B. Seidman	Professional Certification of Software Engineers: The CSDP Program.	IEEE Softw.	2005	DBLP DOI BibTeX RDF	Software engineering certification
50	Herbert E. Longenecker Jr., David L. Feinstein	Development of assessment for undergraduate programs of information technology, and certification for program graduates.	SIGITE Conference	2005	DBLP DOI BibTeX RDF	CCER, ICCP, IS curriculum, standards, assessment, certification, computing education, IT curriculum
50	Hailiang Mei, Johan J. Lukkien, Johan Muskens	A Compositional Claim-based Component Certification Procedure.	EUROMICRO	2004	DBLP DOI BibTeX RDF	Component certification, Component verification, Component sealing and Secured certificate, Component-based software system
48	Adam Kolawa	Software Certification Debate: Certification Will Do More Harm than Good.	Computer	2002	DBLP DOI BibTeX RDF
48	Leonard L. Tripp	Software Certification Debate: Benefits of Certification.	Computer	2002	DBLP DOI BibTeX RDF
48	Ewen Denney, Bernd Fischer 0002, Dieter Hutter, Mark Jones	Software certificate management (SoftCeMent'05).	ASE	2005	DBLP DOI BibTeX RDF
48	T. S. E. Maibaum, Alan Wassyng	A Product-Focused Approach to Software Certification.	Computer	2008	DBLP DOI BibTeX RDF	certification, software technologies, software certification
48	Heng-Li Yang, Chen-Shu Wang, Mu-Yen Chen	A Personalization Recommendation Framework of IT Certification e-Learning System.	KES (2)	2007	DBLP DOI BibTeX RDF	IT certification, examinee personalization recommendation, certification examination preparation
46	Helen Armstrong, Colin J. Armstrong	The Role of Information Security Industry Training and Accreditation in Tertiary Education.	World Conference on Information Security Education	2007	DBLP DOI BibTeX RDF	information security industry training, information systems professional certification, Information security education
46	Joana Trimble	The I.T. circuit certificate: training for the future.	SIGUCCS	2005	DBLP DOI BibTeX RDF	computer certification, computer competency, computer training program, training, computer education, computer training
46	Jeffrey M. Voas	Limited Software Warranties.	ECBS	2000	DBLP DOI BibTeX RDF	Warranties, fact sheets, testing, software certification
44	Luis Carlos Coronado García, Carlos Hernández-López, Carlos Pérez Leguízamo	Autonomous Decentralized Root Certification Authority System.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
44	Rikard Land, Alexandre Alvaro, Ivica Crnkovic	Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification.	EUROMICRO-SEAA	2008	DBLP DOI BibTeX RDF
44	Robin A. Gandhi, Seok Won Lee	Discovering and Understanding Multi-dimensional Correlations among Certification Requirements with application to Risk Assessment.	RE	2007	DBLP DOI BibTeX RDF
44	Marianne Azer, Sherif El-Kassas, Magdy S. El-Soudani	Certification and Revocation Schemes in Ad Hoc Networks Survey and Challenges.	ICSNC	2007	DBLP DOI BibTeX RDF
44	Jean-Louis Roch, Sébastien Varrette	Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product.	PASCO	2007	DBLP DOI BibTeX RDF	divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking
44	Nhiem Lu, Paula M. C. Swatman	Mobile Organic Certification (MobiCert) - A theoretical foundation for a practical project.	ICMB	2006	DBLP DOI BibTeX RDF
44	Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano	Airborne Software Concerns in Civil Aviation Certification.	LADC	2005	DBLP DOI BibTeX RDF
44	Graham Wright	Achieving ISO 9001 Certification for an XP Company.	XP/Agile Universe	2003	DBLP DOI BibTeX RDF
44	Lars Bratthall, Johan Hasselberg, Brad Hoffman, Zbigniew Korendo, Bruno Schilli, Lars Gundersen	Component Certification - What is the Value?	PROFES	2002	DBLP DOI BibTeX RDF
44	Anas Tarah, Christian Huitema	Associating Metrics to Certification Paths.	ESORICS	1992	DBLP DOI BibTeX RDF
43	Enrico Nardelli, Sabina Posadziejewski, Maurizio Talamo (eds.)	Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada	Certification and Security in E-Services	2003	DBLP BibTeX RDF
43	Jennifer Stoddart	Respecting Privacy in E-Government.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Arun Iyengar, Ronald Mraz, Mary Ellen Zurko	Performance Considerations in Web Security.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	John J. Borking	The Status of Privacy Enhancing Technologies.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Oleksiy Mazhelis, Alexandr Seleznyov, Seppo Puuronen	A Multi-Expert Based Approach to Continuous Authentication of Mobile-Device Users.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Guido Marinelli, Paolo Russo	Mountain Information System: A Distributed E-Government Office.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Reinhard Posch, Herbert Leitold	Identification and Confidentiality for e-Government.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Kathleen Tolan	Initiatives in the Fight Against Cyber Terrorism.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Fabio Di Vito, Paola Inverardi, Giovanna Melideo	A Context-Aware Approach to Infer Trust in Public Key Infrastructures.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	David T. Shaw, Stanislaw P. Maj	Multiple Applications with a Single Smart Card.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Igor Balabine, Arne Koschel	Deploying Multi-tier Applications Across Multiple Security Domains.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Hakan Hacigümüs, Balakrishna R. Iyer, Sharad Mehrotra	Encrypted Database Integrity in Database Service Provider Model.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Raouf Boutaba, Brent Ishibashi, Basem Shihada	A Network Management Viewpoint on Security in e-Services.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Richard E. Schantz, Franklin Webber, Partha P. Pal, Joseph P. Loyall, Douglas C. Schmidt	Protecting Applications Against Malice Using AdaptiveMiddleware.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
43	Étínne Dubreuil	Mastering E-Commerce and Globalization.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
42	Tomi O. Kelo, Jukka A. Koskinen	Modeling network security competence for certification.	SIN	2009	DBLP DOI BibTeX RDF	network security, certification, competence
42	Parminder Kaur 0001, Hardeep Singh	Certification process of software components.	ACM SIGSOFT Softw. Eng. Notes	2008	DBLP DOI BibTeX RDF	component attributes, component certification, software components, component based software engineering, component models
42	José María de Fuentes, Ana Isabel González-Tablas Ferreres, Arturo Ribagorda	CERTILOC: Implementation of a Spatial-Temporal Certification Service Compatible with Several Localization Technologies.	ARES	2008	DBLP DOI BibTeX RDF	localization, Certification, legal issues
42	Ana Isabel González-Tablas Ferreres, Benjamín Ramos Álvarez, Arturo Ribagorda Garnacho	Spatial-Temporal Certification Framework and Extension of X.509 Attribute Certificate Framework and SAML Standard to Support Spatial-Temporal Certificates.	EuroPKI	2007	DBLP DOI BibTeX RDF	Spatial-temporal certification, X.509 AC, SAML
42	Leo Hitchcock	Industry certification and academic degrees: complementary, or poles apart?	CPR	2007	DBLP DOI BibTeX RDF	IS research, IT job market, academic curricula, industry certification, industry-based education
42	Matthew Simon, Jill Slay	Forensic Computing Training, Certification and Accreditation: An Australian Overview.	World Conference on Information Security Education	2007	DBLP DOI BibTeX RDF	Education, Training, Certification, Forensic Computing
42	Maria João Frade, Ando Saabas, Tarmo Uustalu	Foundational certification of data-flow analyses.	TASE	2007	DBLP DOI BibTeX RDF	data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics
42	Gerald Clevenger	Incorporating certification and accreditation coursework into network security curriculum.	InfoSecCD	2006	DBLP DOI BibTeX RDF	CNSS 4015, NIST standards, information systems certification, system accreditation, curriculum design
42	Seok Won Lee, Robin A. Gandhi, Gail-Joon Ahn	Establishing trustworthiness in services of the critical infrastructure through certification and accreditation.	ACM SIGSOFT Softw. Eng. Notes	2005	DBLP DOI BibTeX RDF	Security and Standardization, information security requirements engineering, information systems certification and accreditation, risk assessment, ontological engineering, critical infrastructure protection
42	Javier López 0001, Antonio Mana, José A. Montenegro, Juan J. Ortega	PKI design based on the use of on-line certification authorities.	Int. J. Inf. Sec.	2004	DBLP DOI BibTeX RDF	Certification authories, Authentication, PKI, Revocation, Public-key certificates
42	Lynn J. McKell, John H. Reynolds, Herbert E. Longenecker Jr., Jeffrey P. Landry, John Harold Pardue	Integrating program evaluation and a new certification for information technology professionals.	SIGITE Conference	2004	DBLP DOI BibTeX RDF	model curriculum, education, certification, credential, program evaluation
42	Ariel Ortiz	Preparing undergraduate students for Java certification.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	SCJP, Java, certification
42	K. H. Kim	Toward QoS Certification of Real-Time Distributed Computing Systems.	HASE	2002	DBLP DOI BibTeX RDF	design-time, execution safety, Risk Incursion Function, security, fault tolerance, real-time, service, quality, certification, risk, TMO, timeliness, guarantee, RIF
40	Andreas Ekelhart, Stefan Fenz, Gernot Goluch, Edgar R. Weippl	Ontological Mapping of Common Criteria's Security Assurance Requirements.	SEC	2007	DBLP DOI BibTeX RDF
40	Kiho Shin, Yoonho Kim, Yanggon Kim	An Effective Authentication Scheme in Mobile Ad Hoc Network.	SNPD	2006	DBLP DOI BibTeX RDF
38	Ralph L. London	Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification.	Commun. ACM	1970	DBLP DOI BibTeX RDF	in-place sorting, metatheory, proof of algorithms, debugging, sorting, certification
38	Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. Piegl	Current Status and Future Perspectives for Unmanned Aircraft System Operations in the US.	J. Intell. Robotic Syst.	2008	DBLP DOI BibTeX RDF	Airworthiness, National airspace system (NAS), Ultralight, Unmanned aircraft systems (UAS), Classification, Certification
38	Rafael Martínez-Peláez, Cristina Satizábal, Francisco Rico-Novella, Jordi Forné	Efficient Certificate Path Validation and Its Application in Mobile Payment Protocols.	ARES	2008	DBLP DOI BibTeX RDF	Certification Path Validation, SET protocol, Mobile Payment, Public Key Infrastructure (PKI)
38	Saar Drimer, Steven J. Murdoch, Ross J. Anderson	Thinking Inside the Box: System-Level Failures of Tamper Proofing.	SP	2008	DBLP DOI BibTeX RDF	Chip and PIN, PIN entry devices, certification, incentives, smartcard, banking, tamper resistance, common criteria, EMV
38	Ueli M. Maurer	Modelling a Public-Key Infrastructure.	ESORICS	1996	DBLP DOI BibTeX RDF	cryptography, trust, recommendations, key management, probabilistic logic, Distributed system security, public-key certification
36	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC (1)	2009	DBLP DOI BibTeX RDF
36	Boutheina Chetali	Security Testing and Formal Methods for High Levels Certification of Smart Cards.	TAP@TOOLS	2009	DBLP DOI BibTeX RDF
36	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
36	Fan Zhang, Jianfeng Ma 0001, Sang-Jae Moon	Universally composable anonymous Hash certification model.	Sci. China Ser. F Inf. Sci.	2007	DBLP DOI BibTeX RDF	authentication, anonymous, Hash, universal composable security
36	T. S. E. Maibaum	Challenges in Software Certification.	ICFEM	2007	DBLP DOI BibTeX RDF