|
|
Venues (Conferences, Journals, ...)
|
|
GrowBag graphs for keyword ? (Num. hits/coverage)
Group by:
The graphs summarize 1529 occurrences of 882 keywords
|
|
|
Results
Found 3119 publication records. Showing 3119 according to the selection in the facets
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 |
|
Displaying result #101 - #200 of 3119 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ >>] |
|