Search results for "certification"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
36	Sandip Ray, Warren A. Hunt Jr.	Mechanized Certification of Secure Hardware Designs.	MTV	2007	DBLP DOI BibTeX RDF
36	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 (1)	2007	DBLP DOI BibTeX RDF
36	Zhiwei Gao 0001, Ping Luo, Zhimin Gu, Hongjun Liu	A New and Scalable Certification Path Discovery Model in the Emerging Global PKI.	MUE	2007	DBLP DOI BibTeX RDF
36	Lenka Kadlcáková	A Guide to the Nightmares of the Certification Service Provider.	EuroPKI	2006	DBLP DOI BibTeX RDF
36	Jeong Hyun Yi	Energy-Efficient and Non-interactive Self-certification in MANETs.	SSS	2006	DBLP DOI BibTeX RDF	authentication, key management, Security protocol, self-configuration, threshold cryptography
36	Ewen Denney, Bernd Fischer 0002	Extending Source Code Generators for Evidence-Based Software Certification.	ISoLA	2006	DBLP DOI BibTeX RDF
36	Xavier Leroy	Formal certification of a compiler back-end or: programming a compiler with a proof assistant.	POPL	2006	DBLP DOI BibTeX RDF	compiler transformations and optimizations, the Coq theorem prover, certified compilation, program proof, semantic preservation
36	Axel W. Krings, Jean-Louis Roch, Samir Jafar, Sébastien Varrette	A Probabilistic Approach for Task and Result Certification of Large-Scale Distributed Applications in Hostile Environments.	EGC	2005	DBLP DOI BibTeX RDF
36	Valentina Casola, Antonino Mazzeo, Nicola Mazzocca, Massimiliano Rak	An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures.	EuroPKI	2005	DBLP DOI BibTeX RDF
36	Bo Zhu 0001, Guilin Wang, Zhiguo Wan, Mohan S. Kankanhalli, Feng Bao 0001, Robert H. Deng	Providing efficient certification services against active attacks in ad hoc networks.	IPCCC	2005	DBLP DOI BibTeX RDF
36	Sudhir Agarwal 0001, Barbara Sprick	Specification of Access Control and Certification Policies for Semantic Web Services.	EC-Web	2005	DBLP DOI BibTeX RDF
36	SungJin Choi, MaengSoon Baik, Joon-Min Gil, Chan Yeol Park, Soon Young Jung, Chong-Sun Hwang	Dynamic Scheduling Mechanism for Result Certification in Peer to Peer Grid Computing.	GCC	2005	DBLP DOI BibTeX RDF
36	Heiko Rossnagel	Mobile Qualified Electronic Signatures and Certification on Demand.	EuroPKI	2004	DBLP DOI BibTeX RDF
36	Victor Y. Pan, Yanqiang Yu	Certification of Numerical Computation of the Sign of the Determinant of a Matrix.	Algorithmica	2001	DBLP DOI BibTeX RDF
36	Apollònia Martínez Nadal, Josep Lluís Ferrer-Gomila	Liability of Certification Authorities: A Juridical Point of View.	ISC	2001	DBLP DOI BibTeX RDF
36	Jeffrey M. Voas	Developing a Usage-Based Software Certification Process.	Computer	2000	DBLP DOI BibTeX RDF
36	Nancy R. Mead	What Do You Mean I'm Practicing without a License? Certification and Licensing of Requirements Engineering Professionals.	ICRE	2000	DBLP DOI BibTeX RDF
36	Karl Crary, Stephanie Weirich	Resource Bound Certification.	POPL	2000	DBLP DOI BibTeX RDF
36	Jon Ølnes, Matthieu Verdier, Nicolas Ganivet, Dominique Maillot, Jonn Skretting	Public Key Infrastructure and Certification Policy for Inter - domain Management.	IS&N	1998	DBLP DOI BibTeX RDF
36	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
36	Cathleen Wharton, Patricia J. Shiroma, Karen E. Simmons	PVDaCS: a prototype knowledge-based expert system for certification of spacecraft data.	IEA/AIE (1)	1989	DBLP DOI BibTeX RDF
36	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
36	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
36	Neil C. Audsley, I. J. Bate, Alan Burns 0001	Putting fixed priority scheduling theory into engineering practice for safety critical applications.	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
34	François Lesueur, Ludovic Mé, Valérie Viet Triem Tong	A Distributed Certification System for Structured P2P Networks. (PDF / PS)	AIMS	2008	DBLP DOI BibTeX RDF	Distributed Certification, Security, P2P
34	Peter G. A. M. Jorna	Human Performance Enhancements: From Certification to HCI Innovation.	HCI (13)	2007	DBLP DOI BibTeX RDF	HCI innovation, certification, adaptive systems, human machine interaction, human performance
34	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
34	Robert A. Martin	Year 2000 Compliance: A Discussion on Compliance Certification.	COMPSAC	1997	DBLP DOI BibTeX RDF	Y2K, leap year, date data, certification, risk, Compliance, Year 2000, Checklist
32	Osman Balci	Verification, validation, and certification of modeling and simulation applications: verification, validation, and certification of modeling and simulation applications.	WSC	2003	DBLP DOI BibTeX RDF
32	Kefeng Fan, Subing Zhang, Wei Mo	A Digital Certificate Application Scheme in Content Protection System for High Definition Digital Interface.	IAS	2009	DBLP DOI BibTeX RDF
32	J. R. Juárez-Rodríguez, José Enrique Armendáriz-Iñigo, Francesc D. Muñoz-Escoí, José Ramón González de Mendívil, José Ramón Garitagoitia	A Deterministic Database Replication Protocol Where Multicast Writesets Never Get Aborted.	OTM Workshops (1)	2007	DBLP DOI BibTeX RDF
32	Cristina Satizábal, Jordi Forné, Juan Hernández-Serrano, Josep Pegueroles	Building Hierarchical Public Key Infrastructures in Mobile Ad-Hoc Networks.	MSN	2006	DBLP DOI BibTeX RDF	hierarchical trust model, peer-to-peer trust model, Mobile Ad-hoc Networks (MANETs), Public Key Infrastructure (PKI)
32	Minhyung Kim, Sangkyun Kim, Myungwhan Choi	Practical Design Recovery Techniques for Embedded Operating System on Complying with RTCA/DO-178B and ISO/IEC15408.	KES (3)	2005	DBLP DOI BibTeX RDF
32	Albert Levi, M. Ufuk Çaglayan, Çetin Kaya Koç	Use of nested certificates for efficient, dynamic, and trust preserving public key infrastructure.	ACM Trans. Inf. Syst. Secur.	2004	DBLP DOI BibTeX RDF	nested certificates, key management, public key infrastructure, Digital certificates
32	Peter G. Neumann	Certitude and Rectitude.	ICRE	2000	DBLP DOI BibTeX RDF
30	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
30	Jeff Lewis	Cryptol: specification, implementation and verification of high-grade cryptographic applications.	FMSE	2007	DBLP DOI BibTeX RDF	cryptography, specification language, certification, high assurance, symmetric key
30	Jørgen Bøegh	Certifying software component attributes.	IEEE Softw.	2006	DBLP DOI BibTeX RDF	component attribute, standard, software component, certification
30	Maxime Wack, Ahmed Nait-Sidi-Moh, Sid Lamrous, Nathanael Cottin	Meaningful electronic signatures based on an automatic indexing method.	Artif. Intell. Law	2006	DBLP DOI BibTeX RDF	legal information, security, information systems, indexing, hash function, certification, electronic signature
30	Greg Deveau	Training the campus: a look at Acadia University computer support training.	SIGUCCS	2006	DBLP DOI BibTeX RDF	productivity software, training, certification, technology training
30	Kittur S. Shankar, Helmut Kurth	Certifying Open Source-The Linux Experience.	IEEE Secur. Priv.	2004	DBLP DOI BibTeX RDF	product security, standards, open source, Linux, certification, Common Criteria
30	Manuel V. Hermenegildo, Elvira Albert, Pedro López-García 0001, Germán Puebla	Some Techniques for Automated, Resource-Aware Distributed and Mobile Computing in a Multi-paradigm Programming System.	Euro-Par	2004	DBLP DOI BibTeX RDF	granularity control, mobile code certification, GRIDs, resource awareness, distributed execution
30	K. H. (Kane) Kim	Timeliness Assurance via Hybrid Approaches during Design of Distributed Embedded Computing Systems.	WORDS Fall	2003	DBLP DOI BibTeX RDF	service time bound, statistical derivation, analytical derivation, soft-firm bound, real time, certification, object, TMO, embedded computing, timeliness, hybrid approach, guarantee
30	Yu-Seung Ma, Seung-Uk Oh, Doo-Hwan Bae, Yong Rae Kwon	Framework for Third Party Testing of Component Software.	APSEC	2001	DBLP DOI BibTeX RDF	metadata, Framework, Certification, Component-based software engineering, EJB, Component testing
30	Anup K. Ghosh	Certifying E-Commerce Software for Security.	WECWIS	1999	DBLP DOI BibTeX RDF	security, testing, software certification
30	Mary E. Helander, Ming Zhao, Niclas Ohlsson	Planning Models for Software Reliability and Cost.	IEEE Trans. Software Eng.	1998	DBLP DOI BibTeX RDF	Budget constraints, cleanroom software development, Budget-Constrained Reliability-Maximization (BCRM) Model, cost planning, failure intensity, reliability allocation, Reliability-Constrained Cost-Minimization (RCCM) Model, software reliability. (*Terms introduced in this paper.), linear programming, software components, certification, nonlinear programming, COCOMO, operational profile, Lagrangian multipliers
30	Myong H. Kang, Judith N. Froscher, Ira S. Moskowitz	A framework for MLS interoperability.	HASE	1996	DBLP DOI BibTeX RDF	MLS interoperability framework, distributed object oriented computing, location independence, MLS products, rigorous evaluation/certification procedures, security critical components, MLS architectural framework, security critical components/functions, secure use, parallel programming, software reuse, component based development, legacy systems, multilevel security, architectural framework, computing paradigm
28	William Enck, Machigar Ongtang, Patrick D. McDaniel	On lightweight mobile phone application certification.	CCS	2009	DBLP DOI BibTeX RDF	mobile phone security, malware, android
28	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
28	Khaled Hamouid, Kamel Adi	Robust Key Management scheme for certification in mobile ad-hoc networks.	ISCC	2009	DBLP DOI BibTeX RDF
28	John M. Rushby	Runtime Certification.	RV	2008	DBLP DOI BibTeX RDF
28	Heinz Gall	Functional safety IEC 61508 / IEC 61511 the impact to certification and the user.	AICCSA	2008	DBLP DOI BibTeX RDF
28	Jerónimo Pla-Civera, María Idoia Ruiz-Fuertes, Luis H. García-Muñoz, Francesc D. Muñoz-Escoí	Optimizing Certification-Based Database Recovery.	ISPDC	2007	DBLP DOI BibTeX RDF
28	Bertrand Rousseau, Philippe Manet, D. Galerin, D. Merkenbreack, Jean-Didier Legat, F. Dedeken, Yves Gabriel	Enabling certification for dynamic partial reconfiguration using a minimal flow.	DATE	2007	DBLP DOI BibTeX RDF
28	Paul R. Work	Special Session on Certification of Dynamic and Adaptive Systems.	IPDPS	2007	DBLP DOI BibTeX RDF
28	Mauricio Alba-Castro, María Alpuente, Santiago Escobar 0001	Automatic Certification of Java Source Code in Rewriting Logic.	FMICS	2007	DBLP DOI BibTeX RDF
28	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
28	Ali Taleghani	Using Software Model Checking for Software Component Certification.	ICSE Companion	2007	DBLP DOI BibTeX RDF
28	Hans-Ludwig Hausen	Quality Specification, Testing and Certification of Bespoken, Open Source and Commercial Off-The-Shelf Systems. (PDF / PS)	OSS	2007	DBLP DOI BibTeX RDF
28	Jeffrey M. Voas, Keith W. Miller 0001	Software Certification Services: Encouraging Trust and Reasonable Expectations.	IT Prof.	2006	DBLP DOI BibTeX RDF
28	Michelle Hepner, Michael Todd Gamble, Rose F. Gamble	Forming a Security Certification Enclave for Service-Oriented Architectures.	SCW	2006	DBLP DOI BibTeX RDF
28	Meiyuan Zhao, Sean W. Smith	Modeling and Evaluation of Certification Path Discovery in the Emerging Global PKI.	EuroPKI	2006	DBLP DOI BibTeX RDF
28	Ján Astalos, Roberto Cecchini, Brian A. Coghlan, Robert Cowles, U. Epting, T. Genovese, Jorge A. T. Gomes, David L. Groep, M. Gug, Andrew Hanushevsky, M. Helm, Jens Jensen, C. Kanellopoulos, David P. Kelsey, R. Marco, I. Neilson, Sophie Nicoud, David O'Callaghan, Darcy Quesnel, I. Schaeffner, L. Shamardin, Dane Skow, M. Sova, Anders Wäänänen, Pawel Wolniewicz, Wei Xing	International Grid CA Interworking, Peer Review and Policy Management Through the European DataGrid Certification Authority Coordination Group.	EGC	2005	DBLP DOI BibTeX RDF
28	Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira	Software Component Certification: A Survey.	EUROMICRO-SEAA	2005	DBLP DOI BibTeX RDF
28	Xavier Rival	Certification of compiled assembly code by invariant translation.	Int. J. Softw. Tools Technol. Transf.	2004	DBLP DOI BibTeX RDF	Abstract interpretation, Static program analysis, Certified compilation
28	David Daney, Yves Papegay, Arnold Neumaier	Interval Methods for Certification of the Kinematic Calibration of Parallel Robots.	ICRA	2004	DBLP DOI BibTeX RDF
28	Sung-Keun Song, Hee Yong Youn, Kang Shin Lee	A New Digital Signature and Certificate Architecture with Shortest Certification Path.	NETWORKING	2004	DBLP DOI BibTeX RDF
28	Ran Canetti	Universally Composable Signature, Certification, and Authentication.	CSFW	2004	DBLP DOI BibTeX RDF
28	Elvira Albert, Germán Puebla, Manuel V. Hermenegildo	Experiments in abstract interpretation-based code certification for pervasive systems.	SMC (2)	2004	DBLP DOI BibTeX RDF
28	Satoshi Koga, Kouichi Sakurai	A Merging Method of Certification Authorities Without Using Cross-Certifications.	AINA (2)	2004	DBLP DOI BibTeX RDF
28	Johann Schumann, Bernd Fischer 0002, Michael W. Whalen, Jon Whittle 0001	Certification Support for Automatically Generated Programs.	HICSS	2003	DBLP DOI BibTeX RDF
28	Iain Bate, Tim Kelly	Architectural Considerations in the Certification of Modular Systems.	SAFECOMP	2002	DBLP DOI BibTeX RDF
28	Michael W. Whalen, Johann Schumann, Bernd Fischer 0002	AutoBayes/CC - Combining Program Synthesis with Automatic Code Certification - System Description.	CADE	2002	DBLP DOI BibTeX RDF
28	John Morris, Gareth Lee, Kris Parker, Gary A. Bundell, Chiou Peng Lam	Software Component Certification.	Computer	2001	DBLP DOI BibTeX RDF
28	Eugen Brenner, Ivo Derado	Specifying a Certification Process for COTS Software Components Using UML.	ISORC	2001	DBLP DOI BibTeX RDF
28	Patricia Rodríguez-Dapena	Software Safety Certification: A Multidomain Problem.	IEEE Softw.	1999	DBLP DOI BibTeX RDF
28	Reto Kohlas, Ueli M. Maurer	Reasoning about Public-Key Certification: On Bindings between Entities and Public Keys.	Financial Cryptography	1999	DBLP DOI BibTeX RDF
28	Gerald Sonneck, Erwin Schoitsch	Assessment and Certification of Safety-Critical Digital Architectures - The ACRuDA Project.	SAFECOMP	1999	DBLP DOI BibTeX RDF
28	Javier López 0001, Antonio Mana, Juan J. Ortega	Cert'eM: Certification System Based on Electronic Mail Service Structure.	CQRE	1999	DBLP DOI BibTeX RDF
28	Robert E. Loesh, Arthur B. Gosnell, Richard M. Wyskida, James D. Johannes, Thomas F. Benoist	An Engineering Approach to Critical Software Certification.	HICSS	1999	DBLP DOI BibTeX RDF
28	Jacob Frost	An Ada95 Solution for Certification of Embedded Safety Critical Applications.	Ada-Europe	1999	DBLP DOI BibTeX RDF
28	Hans-Ludwig Hausen	A Software Assessment and Certification Advisor.	ACM Conference on Computer Science	1992	DBLP DOI BibTeX RDF
28	Harriet G. Taylor, C. Dianne Martin	The impact of new accreditation and certification standards for secondary computer science teachers on university computer science departments.	SIGCSE	1992	DBLP DOI BibTeX RDF	ACM
28	J. Wey Chen	Toward an ideal competency-based computer science teacher certification program: the Delphi approach.	SIGCSE	1989	DBLP DOI BibTeX RDF
26	Philippe Kruchten	Certification 1, 2, 3.	IEEE Softw.	2010	DBLP DOI BibTeX RDF	software development, certification, professional development
26	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
26	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
26	Qiang Wang, Hua Yu, Hui Zhang, Xinming Ma	Web-Based Distributed Certification System of Green Food.	ESIAT (2)	2009	DBLP DOI BibTeX RDF	green food, Distributed System, certification, Web GIS
26	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
26	Patrick Traynor, Michael Chien, Scott Weaver, Boniface Hicks, Patrick D. McDaniel	Noninvasive Methods for Host Certification.	ACM Trans. Inf. Syst. Secur.	2008	DBLP DOI BibTeX RDF	network security, Certification, malware, assurance
26	Jim Woodcock 0001, Susan Stepney, David Cooper, John A. Clark, Jeremy Jacob	The certification of the Mondex electronic purse to ITSEC Level E6.	Formal Aspects 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
26	Cristina Satizábal, Rafael Martínez-Peláez, Jordi Forné, Francisco Rico-Novella	Reducing the Computational Cost of Certification Path Validation in Mobile Payment.	EuroPKI	2007	DBLP DOI BibTeX RDF	certification path validation, hash chains, mobile payment, Public Key Infrastructure (PKI)
26	Ewen Denney, Bernd Fischer 0002	A generic annotation inference algorithm for the safety certification of automatically generated code.	GPCE	2006	DBLP DOI BibTeX RDF	hoare calculus, logical annotations, program verification, automated theorem proving, software certification, automated code generation
26	Paula Gouveia, Jaime Ramos	Multi-Agent Systems Specification and Certification: A Situation and State Calculus Approach.	Ann. Math. Artif. Intell.	2004	DBLP DOI BibTeX RDF	specification, multi-agents, certification, knowledge, abduction, situation calculus
26	Lavinia Egidi, Giovanni Porcelli	Anonymity and certification: e-mail, a case study.	SAC	2004	DBLP DOI BibTeX RDF	anonymity, certification, e-mail
26	Stephen B. Seidman, James Mason, Donald J. Bagert, J. Fernando Naveda, Ann E. Kelley Sobel, Dennis J. Frailey, Allen S. Parrish	Certification for Software Professionals: The IEEE Computer Society?s CSDP Program.	CSEE&T	2003	DBLP DOI BibTeX RDF	CSDP, certification of software engineers, IEEE computer society, licensing
26	Jia-Ling Koh, Arbee L. P. Chen	Efficient Query Processing in Integrated Multiple Object Databases with Maybe Result Certification.	IEEE Trans. Knowl. Data Eng.	2002	DBLP DOI BibTeX RDF	missing attribute, isomeric objects, maybe result certification, query processing, schema integration, Object database
26	Usha Santhanam	Automating software module testing for FAA certification.	SIGAda	2001	DBLP DOI BibTeX RDF	FAA Certification, Software Module Test, Structural Test, Test Automation
26	Philip S. Yu, Hans-Ulrich Heiss, Daniel M. Dias	Modeling and Analysis of a Time-Stamp History Based Certification Protocol for Concurrency Control.	IEEE Trans. Knowl. Data Eng.	1991	DBLP DOI BibTeX RDF	time-stamp history, certification protocol, commit time, back-shifted time-stamp, read-write conflicts, conflicting transaction, transaction requesting commit, protocols, distributed databases, concurrency control, concurrency control, probability, approximations, transaction processing, analytic model, database theory
24	Michael Wild, Jan Steffen Becker, Günter Ehmen, Eike Möhlmann	Towards Scenario-Based Certification of Highly Automated Railway Systems.	RSSRail	2023	DBLP DOI BibTeX RDF