Search results for "Certification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
5	Leo Hitchcock	Industry certification: value, validity, and a place for SoDIS®.	SIGCSE Bulletin	2005	DBLP DOI BibTeX RDF	IT certification, industry certification, professional certification, ethics, risk assessment
5	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
5	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
4	T. S. E. Maibaum, Alan Wassyng	A Product-Focused Approach to Software Certification.	IEEE Computer	2008	DBLP DOI BibTeX RDF	certification, software technologies, software certification
4	Heng-Li Yang, Chen-Shu Wang, Mu-Yen Chen	A Personalization Recommendation Framework of IT Certification e-Learning System.	KES	2007	DBLP DOI BibTeX RDF	IT certification, examinee personalization recommendation, certification examination preparation
4	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
4	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
4	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
4	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
4	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
3	Frances Paulisch, Peter Zimmerer	A role-based qualification and certification program for software architects: an experience report from Siemens.	ICSE	2010	DBLP DOI BibTeX RDF	software engineering, software architecture, education, testing, training, curriculum, certification
3	Andrew J. Kornecki, Janusz Zalewski	Certification of software for real-time safety-critical systems: state of the art.	ISSE	2009	DBLP DOI BibTeX RDF	Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification
3	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
3	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
3	Tomi O. Kelo, Jukka A. Koskinen	Modeling network security competence for certification.	SIN	2009	DBLP DOI BibTeX RDF	network security, certification, competence
3	Parminder Kaur, Hardeep Singh	Certification process of software components.	ACM SIGSOFT Software Engineering Notes	2008	DBLP DOI BibTeX RDF	component attributes, component certification, software components, component based software engineering, component models
3	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
3	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
3	François Lesueur, Ludovic Mé, Valérie Viet Triem Tong	A Distributed Certification System for Structured P2P Networks.	AIMS	2008	DBLP DOI BibTeX RDF	Distributed Certification, Security, P2P
3	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
3	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
3	Jinhyung Kim, Jun Hwang, Taemin Kim, Byungwook Lee	Device Certification System and Method for Users Convenient Contents Use.	FGCN	2007	DBLP DOI BibTeX RDF	Authentication, Certification, Contents, Device
3	Peter G. A. M. Jorna	Human Performance Enhancements: From Certification to HCI Innovation.	HCI	2007	DBLP DOI BibTeX RDF	HCI innovation, certification, adaptive systems, human machine interaction, human performance
3	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
3	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
3	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
3	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
3	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
3	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	A component quality assurance process.	SOQUA	2007	DBLP DOI BibTeX RDF	component certification, component quality evaluation and certification process, software component quality
3	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
3	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
3	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
3	J. Fernando Naveda, Stephen B. Seidman	Professional Certification of Software Engineers: The CSDP Program.	IEEE Software	2005	DBLP DOI BibTeX RDF	Software engineering certification
3	Seok Won Lee, Robin A. Gandhi, Gail-Joon Ahn	Establishing trustworthiness in services of the critical infrastructure through certification and accreditation.	ACM SIGSOFT Software Engineering 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
3	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
3	Javier Lopez, 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
3	Lynn J. McKell, John H. Reynolds, Herbert E. Longenecker Jr., Jeffrey P. Landry, J. 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
3	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
3	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
3	Ariel Ortiz	Preparing undergraduate students for Java certification.	OOPSLA Companion	2003	DBLP DOI BibTeX RDF	SCJP, Java, certification
3	Lidong Zhou, Fred B. Schneider, Robbert van Renesse	COCA: A secure distributed online certification authority.	ACM Trans. Comput. Syst.	2002	DBLP DOI BibTeX RDF	Byzantine quorum systems, proactive secret-sharing, denial of service, public key infrastructure, threshold cryptography, Certification authority
3	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
3	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
3	Franco Arcieri, Roberto Giaccio	E-Government Services: Certification and Security Overlay.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
3	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
3	Maurizio Talamo	Introduction - E-Government Services: Certification and Securit.	Certification and Security in E-Services	2002	DBLP BibTeX RDF
3	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
3	Xia Cai, Michael R. Lyu, Kam-Fai Wong, Roy Ko	Component-based software engineering: technologies, development frameworks, and quality assurance schemes.	APSEC	2000	DBLP DOI BibTeX RDF	software development frameworks, software quality assurance schemes, software development paradigm, component requirement analysis, component certification, component customization, system architecture design, software architecture, software architecture, object-oriented programming, software maintenance, software quality, program testing, certification, system integration, component-based software engineering, subroutines, system testing, system maintenance, off-the-shelf components, component development
3	Robert A. Martin	Year 2000 Compliance: A Discussion on Compliance Certification. (PDF / PS)	COMPSAC	1997	DBLP DOI BibTeX RDF	Y2K, leap year, date data, certification, risk, Compliance, Year 2000, Checklist
3	Neil C. Audsley, I. J. Bate, Alan Burns	Putting fixed priority scheduling theory into engineering practice for safety critical applications. (PDF / PS)	IEEE Real Time Technology and Applications Symposium	1996	DBLP DOI BibTeX RDF	aircraft computers, engineering practice, industrial safety-critical hard real-time systems, class A systems, civil aircraft software standard DO178B, evidence gathering, technical benefits, evidence presentation, scheduling, real-time systems, timing, certification, safety-critical software, fixed-priority scheduling, aerospace computing, certification authorities, software standards, timing requirements
2	Philippe Kruchten	Certification 1, 2, 3.	IEEE Software	2010	DBLP DOI BibTeX RDF	software development, certification, professional development
2	Takahiro Fujishiro, Akane Sato, Yoko Kumagai, Tadashi Kaji, Kenichi Okada	Development of Hi-Speed X.509 Certification Path Validation System.	AINA Workshops	2010	DBLP DOI BibTeX RDF	Path Validation, Security, Certificate, PKI, X.509, Certification Path
2	Malik Qasaimeh, Alain Abran	Investigation of the Capability of XP to Support the Requirements of ISO 9001 Software Process Certification.	SERA	2010	DBLP DOI BibTeX RDF	ISO 9001 certification, ISO 90003 guidelines, software process evaluation, extreme programming
2	Nassima Izerrouken, Olivier Ssi Yan Kai, Marc Pantel, Xavier Thirioux	Use of formal methods for building qualified code generator for safer automotive systems.	EDCC-CARS	2010	DBLP DOI BibTeX RDF	software engineering, formal verification, certification, automatic code generator, automotive systems
2	Luis Carlos Coronado García, Carlos Hernández-López, Carlos Perez Leguizamo	Autonomous Decentralized Root Certification Authority System.	ICDCS Workshops	2009	DBLP DOI BibTeX RDF
2	Damian Dechev, Bjarne Stroustrup	Model-Based Product-Oriented Certification.	ECBS	2009	DBLP DOI BibTeX RDF
2	Boutheina Chetali	Security Testing and Formal Methods for High Levels Certification of Smart Cards.	TAP	2009	DBLP DOI BibTeX RDF
2	Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang	Modular Certification of Low-Level Intermediate Representation Programs.	COMPSAC	2009	DBLP DOI BibTeX RDF
2	Elvira Albert, Puri Arenas, Samir Genaim, Germán Puebla, Damiano Zanardini	Resource Usage Analysis and Its Application to Resource Certification.	FOSAD	2009	DBLP DOI BibTeX RDF
2	Iman Narasamdya, Michaël Périn	Certification of Smart-Card Applications in Common Criteria.	FASE	2009	DBLP DOI BibTeX RDF
2	Carlos G. Bilich, Zaijun Hu	Experiences with the Certification of a Generic Functional Safety Management Structure According to IEC 61508.	SAFECOMP	2009	DBLP DOI BibTeX RDF	Functional Safety, reusable components, IEC 61508
2	Monis Akhlaq, Baber Aslam, Faeiz Alserhani, Irfan-Ullah Awan, John Mellor	Empowered Certification Authority in VANETs.	AINA Workshops	2009	DBLP DOI BibTeX RDF	Security, Privacy, VANETs, Revocation, Certification Authority
2	Qiang Wang, Hua Yu, Hui Zhang, Xinming Ma	Web-Based Distributed Certification System of Green Food.	ESIAT	2009	DBLP DOI BibTeX RDF	green food, Distributed System, certification, Web GIS
2	Khaled Hamouid, Kamel Adi	Robust Key Management scheme for certification in mobile ad-hoc networks.	ISCC	2009	DBLP DOI BibTeX RDF
2	William Enck, Machigar Ongtang, Patrick Drew McDaniel	On lightweight mobile phone application certification.	ACM Conference on Computer and Communications Security	2009	DBLP DOI BibTeX RDF	mobile phone security, malware, android
2	Robert Woitsch, Wilfrid Utz	The IT-Socket: Model-Based Business and IT Alignment.	KSEM	2009	DBLP DOI BibTeX RDF	Next Generation Modelling Framework, IT-Socket, Knowledge Management, Semantics, Certification, IT-Governance, Virtual Organisation
2	Jose L. Muñoz, Oscar Esparza, Carlos Gañán, Javier Parra-Arnau	PKIX Certificate Status in Hybrid MANETs.	WISTP	2009	DBLP DOI BibTeX RDF	Hybrid MANET, Certification, Risk, Public Key Infrastructure, Revocation
2	Richard S. Stansbury, Manan A. Vyas, Timothy A. Wilson	A Survey of UAS Technologies for Command, Control, and Communication (C3).	Journal of Intelligent and Robotic Systems	2009	DBLP DOI BibTeX RDF	control and communication (C3) - Unmanned aircraft systems (UAS) - Certification, Command
2	Jim Woodcock, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Asp. Comput.	2008	DBLP DOI BibTeX RDF	Electronic finance, Grand Challenge in Verified Software, ITSEC Level E6, Security, Verification, Refinement, Theorem proving, Smart cards, Certification, Correctness, Z notation, Grand challenges, Verified Software Repository, Mondex
2	Benjamin Arazi	Computationally Efficient Distributed and Delegated Certification.	IEEE Trans. Parallel Distrib. Syst.	2008	DBLP DOI BibTeX RDF
2	Ken Buszta	Challenges in Certification and Accreditation.	IT Professional	2008	DBLP DOI BibTeX RDF
2	Stephen B. Seidman	Software Engineering Certification Schemes.	IEEE Computer	2008	DBLP DOI BibTeX RDF
2	Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick McDaniel	Noninvasive Methods for Host Certification.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	network security, Certification, malware, assurance
2	John M. Rushby	Runtime Certification.	RV	2008	DBLP DOI BibTeX RDF
2	María Idoia Ruiz-Fuertes, Francesc D. Muñoz-Escoí, Hendrik Decker, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil	Integrity Dangers in Certification-Based Replication Protocols.	OTM Workshops	2008	DBLP DOI BibTeX RDF
2	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
2	Mauricio Alba-Castro, María Alpuente, Santiago Escobar	Automated Certification of Non-Interference in Rewriting Logic.	FMICS	2008	DBLP DOI BibTeX RDF
2	Jingjing Wu, Jiwu Jing, Jingqiang Lin	A Decentralized Certification Authority Based on Real World Trust Relationships.	CSSE	2008	DBLP DOI BibTeX RDF
2	Heinz Gall	Functional safety IEC 61508 / IEC 61511 the impact to certification and the user.	AICCSA	2008	DBLP DOI BibTeX RDF
2	Konstantinos J. Charatsis, Athanasios P. Kalogeras, Christos E. Alexakos, Panagiotis Konstantinopoulos, Joanna Iliopoulou Georgudaki	Aquaculture production quality certification model utilizing web semantics and wireless technologies.	ETFA	2008	DBLP DOI BibTeX RDF
2	Panuchart Bunyakiati, Anthony Finkelstein, James Skene, Clovis Chapman	Using JULE to generate a compliance test suite for the UML standard.	ICSE	2008	DBLP DOI BibTeX RDF	ocl, test generation, metamodel, certification, binary decision diagram, uml
2	Heidi C. Wasem	Rediscovering professional development: realizing your staff's unique potential.	SIGUCCS	2008	DBLP DOI BibTeX RDF	classroom training, institutional knowledge, professional networking, technical training, training, management, certification, learning styles, leadership, professional development, gap analysis, multiple intelligences
2	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)
2	Saar Drimer, Steven J. Murdoch, Ross J. Anderson	Thinking Inside the Box: System-Level Failures of Tamper Proofing.	IEEE Symposium on Security and Privacy	2008	DBLP DOI BibTeX RDF	Chip and PIN, PIN entry devices, certification, incentives, smartcard, banking, tamper resistance, common criteria, EMV
2	David Delahaye, Jean-Frédéric Étienne, Véronique Donzeau-Gouge	Producing UML Models from Focal Specifications: An Application to Airport Security Regulations.	TASE	2008	DBLP DOI BibTeX RDF	Airport Security Regulations, UML, Certification, Formal Proofs, Focal
2	Ingo J. Timm, Thorsten Scholz	Towards Reliable SOA - An Architecture for Quality Management of Web Services.	OTM Workshops	2008	DBLP DOI BibTeX RDF	certification management, quality of service, unit testing
2	Colin O'Halloran, Andy Bates	Security and Interoperability for MANETs and a Fixed Core.	SAFECOMP	2008	DBLP DOI BibTeX RDF	NEC, NCO, Security, Verification, Trust, Interoperability, Validation, Certification, Risk, Identity Management
2	Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. Piegl	Current Status and Future Perspectives for Unmanned Aircraft System Operations in the US.	Journal of Intelligent and Robotic Systems	2008	DBLP DOI BibTeX RDF	Airworthiness, National airspace system (NAS), Ultralight, Unmanned aircraft systems (UAS), Classification, Certification
2	Fan Zhang, Jianfeng Ma, Sang-Jae Moon	Universally composable anonymous Hash certification model.	Science in China Series F: Information Sciences	2007	DBLP DOI BibTeX RDF	authentication, anonymous, Hash, universal composable security
2	Maryoly Ortega, Anna Grimán, María A. Pérez, Luis Eduardo Mendoza	Reuse Strategy based on Quality Certification of Reusable Components.	IRI	2007	DBLP DOI BibTeX RDF
2	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	Component Quality Assurance: Towards a Software Component Certification Process.	IRI	2007	DBLP DOI BibTeX RDF
2	Panuchart Bunyakiati, Anthony Finkelstein, David S. Rosenblum	The Certification of Software Tools with respect to Software Standards.	IRI	2007	DBLP DOI BibTeX RDF
2	Sang-Guk Jung, Shim-Seok Lee, Yong-Bum Park, Jang-Kyung Kim	Development of URC Testing & Certification System.	CIRA	2007	DBLP DOI BibTeX RDF
2	Nicholas Tate, Sharman Lichtenstein, Matthew J. Warren	Toward User Evaluation of IT Security Certification Schemes: A Preliminary Framework.	SEC	2007	DBLP DOI BibTeX RDF
2	Hans-Ludwig Hausen	Quality Specification, Testing and Certification of Bespoken, Open Source and Commercial Off-The-Shelf Systems.	OSS	2007	DBLP DOI BibTeX RDF
2	T. S. E. Maibaum	Challenges in Software Certification.	ICFEM	2007	DBLP DOI BibTeX RDF
2	María Idoia Ruiz-Fuertes, Jerónimo Pla-Civera, José Enrique Armendáriz-Iñigo, José Ramón González de Mendívil, Francesc D. Muñoz-Escoí	Revisiting Certification-Based Replicated Database Recovery.	OTM Conferences	2007	DBLP DOI BibTeX RDF
2	Thomas Wölfl, Kai Fischbach	A Method for the Certification and the Delegation of Trust in Distributed Systems.	ICDCS Workshops	2007	DBLP DOI BibTeX RDF
2	Adam A. Porter	Towards a Distributed Continuous Certification Process.	IPDPS	2007	DBLP DOI BibTeX RDF
2	Paul R. Work	Special Session on Certification of Dynamic and Adaptive Systems.	IPDPS	2007	DBLP DOI BibTeX RDF