|
|
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 |
24 | Quentin Garchery |
Certification de la transformation de tâches de preuve. (Certification of the transformation of proof tasks). |
|
2022 |
RDF |
|
24 | Victor Magron |
The quest of modeling, certification and efficiency in polynomial optimization. (La quête de modélisation, de certification et d'efficacité en optimisation polynomiale). |
|
2021 |
RDF |
|
24 | Julian M. Kunkel, Weronika Filinger, Christian Meesters, Anja Gerbes, Sharon Broude Geva, Dirk Colbry |
The HPC Certification Forum: Toward a Globally Acknowledged HPC Certification. |
Comput. Sci. Eng. |
2020 |
DBLP DOI BibTeX RDF |
|
24 | Loïc Dalmasso |
De la vulnérabilité des nœuds capteurs à la certification des transactions sur le réseau, une approche de la sécurisation de l'Internet des Objets. (From the sensor nodes vulnerability to the network transactions certification, an approach to securing the Internet of Things). |
|
2020 |
RDF |
|
24 | Thomas Polacsek |
Vérification, validation, certification : approches formelles et informelles pour établir la correction des artefacts et des logiciels. (Verification, validation, certification: formal and informal approaches to establish the correction of artefacts and software). |
|
2019 |
RDF |
|
24 | Heiner Teigeler, Sebastian Lins, Ali Sunyaev |
Technology-Push or Market-pull - What Drives Certification Authorities to Perform continuous Service Certification? |
ECIS |
2019 |
DBLP BibTeX RDF |
|
24 | Clothilde Jeangoudoux |
Génération Automatique de Tests Logiciels dans le Contexte de la Certification Aéronautique. (Automatic test generation for numerical software in the context of aircraft certification). |
|
2019 |
RDF |
|
24 | Dea Saka Kurnia Putra, Edit Prima |
Evaluating Certificate Policy - Certification Practice Statement of Unique Government Certification Authority using Public Key Infrastructure Assessment Guidelines: Research in Progress. |
CoRR |
2018 |
DBLP BibTeX RDF |
|
24 | Nils Siegfried, Julian Löbbers, Alexander Benlian, Ali Sunyaev |
Seeing Service Certification "Eye to Eye" - The Role of Perceptual Congruence Between Customers and Providers in IS Certification. |
ECIS |
2018 |
DBLP BibTeX RDF |
|
24 | Christian Galinski, Klaus Höckner, Reinhard Koutny |
Certification in the Field of eAccessibility and eInclusion - Focusing on Certification Aspects Regarding Web Accessibility. |
ICCHP (1) |
2018 |
DBLP DOI BibTeX RDF |
|
24 | Hoai Phuong Nguyen |
Certification de l'intégrité d'images numériques et de l'authenticité. (Certification of authenticity and integrity of digital images). |
|
2018 |
RDF |
|
24 | Laurent Feuilloley |
Local certification in distributed computing: error-sensitivity, uniformity, redundancy, and interactivity. (Certification locale en calcul distribué : sensibilité aux erreurs, uniformité, redondance et interactivité). |
|
2018 |
RDF |
|
24 | Gurvan Cabon |
Non Local Analyses Certification With an Annotated Semantics. (Certification d'Analyses Non Locales avec une Sémantique Annotée). |
|
2018 |
RDF |
|
24 | Peter Schmollgruber |
Enhancement of the conceptual aircraft design process through certification constraints management and full mission simulations. (Amélioration du processus de conception avion en prenant en compte les contraintes de certification et des simulations de mission complètes). |
|
2018 |
RDF |
|
24 | Pascal Lefèvre |
Protection des contenus multimédias pour la certification des données. (Protection of multimedia contents for data certification). |
|
2018 |
RDF |
|
24 | Thomas Sibut-Pinote |
Investigations in Computer-Aided Mathematics : Experimentation, Computation, and Certification. (Investigations en Mathématiques Assistées par Ordinateur : Expérimentation, Calcul et Certification). |
|
2017 |
RDF |
|
24 | Jean Dobrowolski |
Modélisation, contrôle/commande et certification d'un micro-réseau électrique décentralisé avec entrées exogènes aléatoires et informations contraintes. (Modeling, control and certification of an electrical decentralized microgrid with random exogenous inputs and constrained information). |
|
2017 |
RDF |
|
24 | Soukayna Raja M'Sirdi |
Modular Avionics Software Integration on Multi-Core COTS : certification-Compliant Methodology and Timing Analysis Metrics for Legacy Software Reuse in Modern Aerospace Systems. (Intégration logicielle d'Applications Avioniques Modulaires Intégrées (IMA) sur COTS multicoeur : méthodologie d'intégration et métriques d'analyse temporelle conformes aux régulations de certification pour la réutilisation de logiciel dans les systèmes IMA). |
|
2017 |
RDF |
|
24 | Isabella Biscoglio, Giuseppe Lami, Gianluca Trentanni |
Fiscal Software Certification - An Italian Experience of Certification Against the Fiscal Legislation. |
AMARETTO@MODELSWARD |
2016 |
DBLP DOI BibTeX RDF |
|
24 | Pierre Halmagrand |
Automated Deduction and Proof Certification for the B Method. (Déduction Automatique et Certification de Preuve pour la Méthode B). |
|
2016 |
RDF |
|
24 | Isabella Biscoglio, Giuseppe Lami, Eda Marchetti, Gianluca Trentanni |
Certification and Legislation - An Italian Experience of Fiscal Software Certification. |
ICSOFT-EA |
2015 |
DBLP DOI BibTeX RDF |
|
24 | Antonio Muñoz 0001, Antonio Maña |
Software and Hardware Certification Techniques in a Combined Certification Model. |
SECRYPT |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Stephan Schneider 0001, Jens Lansing, Fangjian Gao, Ali Sunyaev |
A Taxonomic Perspective on Certification Schemes: Development of a Taxonomy for Cloud Service Certification Criteria. |
HICSS |
2014 |
DBLP DOI BibTeX RDF |
|
24 | Djoko Sigit Sayogo, Joanne S. Luciano, James Michaelis, Nicolau DePaula, Luis F. Luna-Reyes, Giri Kumar Tayi, Grace M. Begany, David F. Andersen |
A preliminary ontology for tracking certification systems: a case study of fairtrade coffee certification. |
DG.O |
2013 |
DBLP DOI BibTeX RDF |
|
24 | Paolo Herms |
Certification of a Tool Chain for Deductive Program Verification. (Certification d'une chaine de vérification déductive de programmes). |
|
2013 |
RDF |
|
24 | Rolf Frantz |
Re-Certification [Certification corner]. |
IEEE Commun. Mag. |
2012 |
DBLP DOI BibTeX RDF |
|
24 | Stéphane Glondu |
Vers une certification de l'extraction de Coq. (Towards certification of the extraction of Coq). |
|
2012 |
RDF |
|
24 | Yves Stadler |
Tatouage d'image semi-fragile pour appareil mobile intégré dans une chaîne de certification. (Semi-fragile watermarking for digital-capture image on handheld device within a certification chain). |
|
2012 |
RDF |
|
24 | Tom Maibaum, Paul Joannou |
2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. |
CASCON |
2011 |
DBLP BibTeX RDF |
|
24 | William E. Howden |
Error Models and Software Certification. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Erik Stensrud, Torbjørn Skramstad, Jingyue Li, Jing Xie |
Towards Goal-Based Software Safety Certification Based on Prescriptive Standards. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Huáscar Espinoza, Alejandra Ruiz 0001, Mehrdad Sabetzadeh, Paolo Panaroni |
Challenges for an Open and Evolutionary Approach to Safety Assurance and Certification of Safety-Critical Systems. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Kumiko Tadano, Jianwen Xiang, Fumio Machida, Yoshiharu Maeno, Takao Osaki, Atsushi Kobayashi |
Design Improvement of System Administrative Operations for Certification. |
WOSOCER |
2011 |
DBLP DOI BibTeX RDF |
|
24 | Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff |
Software certification consortium: certification methods for safety-critical software. |
CASCON |
2010 |
DBLP DOI BibTeX RDF |
|
24 | Santiago Zanella Béguelin |
Formal certification of game-based cryptographic proofs. (Certification formelle de preuves cryptographiques basées sur les séquences de jeux). |
|
2010 |
RDF |
|
24 | Manuel Garnacho |
Automatisation de la Certification Formelle de Systèmes Critiques par Instrumentation d'Interpréteurs Abstraits. (Automatic and formal certification of critical systems by instrumentation of abstract interpreters). |
|
2010 |
RDF |
|
24 | Kirsten Bock |
EuroPriSe Trust Certification - An approach to strengthen user confidence through privacy certification. |
Datenschutz und Datensicherheit |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Ibrahim Habli, Tim Kelly |
A Generic Goal-Based Certification Argument for the Justification of Formal Analysis. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Nurlida Basir, Ewen Denney, Bernd Fischer 0002 |
Deriving Safety Cases for the Formal Safety Certification of Automatically Generated Code. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Manuel Garnacho, Michaël Périn |
Convincing Proofs for Program Certification. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Constance L. Heitmeyer |
On the Role of Formal Methods in Software Certification: An Experience Report. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden |
A Software Certification Consortium and its Top 9 Hurdles. |
SafeCert@ETAPS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Rolf Frantz |
Wireless communications engineering technology: An update on certification [Certification Corner]. |
IEEE Commun. Mag. |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Christian Keitel |
Certification Efforts at Nestor Working Group and cooperation with Certification Efforts at RLG/OCLC to become an international ISO standard. |
iPRES |
2007 |
DBLP BibTeX RDF |
|
24 | Francisco Cháves |
Utilisation et certification de l'arithmétique d'intervalles dans un assistant de preuves. (Taylor models to extend the use and certification of interval arithmeticin a proof checker). |
|
2007 |
RDF |
|
24 | Assia Mahboubi |
Contributions à la certification des calculs dans R : théorie, preuves, programmation. (Contributions to the certification of computations in R : theory, proofs, implementation). |
|
2006 |
RDF |
|
24 | Frédéric Gava |
Approches fonctionnelles de la programmation parallèle et des méta-ordinateurs. Sémantiques, implantations et certification. (Functional approaches of parallel programming and méta-computers. Semantics, implementations and certification). |
|
2005 |
RDF |
|
24 | Mat Hugo Jiménez Pérez |
Book Review: Network+ Certification: A Good Starting Point (A review of Network+ Certification Training Kit by Microsoft). |
IEEE Distributed Syst. Online |
2003 |
DBLP BibTeX RDF |
|
24 | Habib Hadj-Mabrouk |
Acquisition et évaluation des connaissances de sécurité des systèmes industriels. Application au domaine de la certification des systèmes de transport ferroviaires guidés. (Acquisition and evaluation of safety knowledge of industrial systems. Application to the field of certification of guided rail transport systems). |
|
1998 |
RDF |
|
24 | Damien Doligez |
Conception, réalisation et certification d'un glaneur de cellules concurrent. (Design, implementation and certification of a concurrent garbage collector). |
|
1995 |
RDF |
|
24 | |
Software evaluation and certification: Some intellectual problems in evaluation and certification of computer software. |
Comput. Law Secur. Rev. |
1993 |
DBLP DOI BibTeX RDF |
|
24 | Habib Hadj-Mabrouk |
Apprentissage automatique et acquisition des connaissances : deux approches complémentaires pour les systèmes à base de connaissances. Application au système "ACASYA" d'aide à la certification des systèmes de transport automatisés. (Machine learning and knowledge acquisition: two complementary approaches for knowledge-based systems. Application to the "ACASYA" system for assistance in the certification of automated transport systems). |
|
1992 |
RDF |
|
24 | Ken Brodlie, Günther E. Pfaff |
Report on the EEC Workshop on Graphics Certification - Defining a Device for Certification (Miltenberg/Darmstadt, FRG, 25-28 April 1982). |
Comput. Graph. Forum |
1982 |
DBLP DOI BibTeX RDF |
|
24 | Boutheina Chetali, Quang Huy Nguyen 0002 |
Industrial Use of Formal Methods for a High-Level Security Evaluation. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Harry M. Sneed, Stefan Opferkuch |
Training and Certifying Software Maintainers. |
CSMR |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Cristiana Rita Alfonsi, Elena Breno, Mariacarla Calzarossa, Paolo Ciancarini, Paolo Maresca, Luisa Mich, Fuliva Sala, Nello Scarabottolo |
EUCIP in Italian Universities. |
Learning to Live in the Knowledge Society |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Changping Liu, Yong Feng, Mingyu Fan, Guangwei Wang |
PKI Mesh Trust Model Based on Trusted Computing. |
ICYCS |
2008 |
DBLP DOI BibTeX RDF |
|
24 | Jaydip Sen, Harihara Subramanyam |
An Efficient Certificate Authority for Ad Hoc Networks. |
ICDCIT |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Jaydip Sen, M. Girish Chandra, P. Balamuralidhar, Harihara S. G., Harish Reddy |
A Scheme of Certificate Authority for Ad Hoc Networks. |
DEXA Workshops |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Benjamin M. Brosgol |
Languages for Safety-Critical Software: Issues and Assessment. |
ICSE Companion |
2007 |
DBLP DOI BibTeX RDF |
|
24 | Zakhia G. Abichar, Yanlin Peng, J. Morris Chang |
WiMax: The Emergence of Wireless Broadband. |
IT Prof. |
2006 |
DBLP DOI BibTeX RDF |
|
24 | Yong Ma, Yumin Tian |
The Coarse-Grained Computing P2P Algorithm Based on SPKI. |
ICNC (2) |
2006 |
DBLP DOI BibTeX RDF |
|
24 | W. Thomas Swain, Stephen L. Scott |
Model-Based Statistical Testing of a Cluster Utility. |
International Conference on Computational Science (1) |
2005 |
DBLP DOI BibTeX RDF |
|
24 | Rida A. Bazzi, Goran Konjevod |
On the establishment of distinct identities in overlay networks. |
PODC |
2005 |
DBLP DOI BibTeX RDF |
security, fault-tolerance, overlay networks, peer-to-peer systems, sybil attack, identity verification, distance geometry |
24 | Ewen Denney, Ram Prasad Venkatesan |
A Generic Software Safety Document Generator. |
AMAST |
2004 |
DBLP DOI BibTeX RDF |
|
24 | Fernando Pedone, Rachid Guerraoui, André Schiper |
The Database State Machine Approach. |
Distributed Parallel Databases |
2003 |
DBLP DOI BibTeX RDF |
state machine approach, synchronous replication, transaction processing, atomic broadcast, database replication, optimistic concurrency control |
24 | John L. Goodman |
The Space Shuttle and GPS: A Safety-Critical Navigation Upgrade. |
ICCBSS |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Omar Batarfi |
Certificate Validation in Untrusted Domains. |
OTM Workshops |
2003 |
DBLP DOI BibTeX RDF |
|
24 | Magne Lunde, Morten Tollefsen |
Many Ways to ECDL. |
ICCHP |
2002 |
DBLP DOI BibTeX RDF |
|
24 | Michael R. Lowry, Thomas Pressburger, Grigore Rosu |
Certifying Domain-Specific Policies. |
ASE |
2001 |
DBLP DOI BibTeX RDF |
|
24 | Daniele Frigioni, Giuseppe F. Italiano |
Dynamically Switching Vertices in Planar Graphs. |
Algorithmica |
2000 |
DBLP DOI BibTeX RDF |
Sign of matrix determinant, Arithmetic filters, Certified geometric computations, Distance to a singular matrix, Convex hull |
24 | Anne Mette Jonassen Hass, Jørn Johansen, Jan Pries-Heje |
Does ISO 9001 Increase Software Development Maturity?. |
EUROMICRO |
1998 |
DBLP DOI BibTeX RDF |
|
22 | 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 |
22 | Richard S. Stansbury, Manan A. Vyas, Timothy A. Wilson |
A Survey of UAS Technologies for Command, Control, and Communication (C3). |
J. Intell. Robotic Syst. |
2009 |
DBLP DOI BibTeX RDF |
control and communication (C3) - Unmanned aircraft systems (UAS) - Certification, Command |
22 | 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 |
22 | 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 |
22 | 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 |
22 | 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 |
22 | 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 |
22 | 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 |
22 | Manoj Parameswaran, Xia Zhao, Andrew B. Whinston, Fang Fang 0001 |
Reengineering the Internet for Better Security. |
Computer |
2007 |
DBLP DOI BibTeX RDF |
Service provider certification, Game theoretic analysis, Security, Internet, Malware |
22 | Klaus Schmeh |
A Critical View on RFC 3647. |
EuroPKI |
2007 |
DBLP DOI BibTeX RDF |
Certification Practice Statement, Certificate Policy, CP, PKI, CPS |
22 | Susanne Dobratz, Astrid Schoger |
Trustworthy Digital Long-Term Repositories: The Nestor Approach in the Context of International Developments. |
ECDL |
2007 |
DBLP DOI BibTeX RDF |
Certification, Auditing, Trustworthiness, Standardisation, Long-Term Preservation, Digital Repositories |
22 | Eric Velleman, Christophe Strobbe, Johannes Koch, Carlos A. Velasco, Mikael Snaprud |
A Unified Web Evaluation Methodology Using WCAG. |
HCI (7) |
2007 |
DBLP DOI BibTeX RDF |
unified web evaluation methodology, uwem, web accessibility, certification, conformance |
22 | Rolf Zon, Mariska Roerdink |
HCI Testing in Flight Simulator: Set Up and Crew Briefing Procedures. Design and Test Cycles for the Future. |
HCI (13) |
2007 |
DBLP DOI BibTeX RDF |
HILAS, HF toolbox, human factors, experiment, certification, flight simulation, flight deck |
22 | Sergiy A. Vilkomir, Jonathan P. Bowen, Aditya K. Ghose |
Formalization and assessment of regulatory requirements for safety-critical software. |
Innov. Syst. Softw. Eng. |
2006 |
DBLP DOI BibTeX RDF |
Regulatory requirements, Formal methods, Certification, Z notation |
22 | David S. Hardin, Eric W. Smith, William D. Young |
A robust machine code proof framework for highly secure applications. |
ACL2 |
2006 |
DBLP DOI BibTeX RDF |
cryptography, theorem proving, certification, symbolic simulation, ACL2, high-assurance, processor modeling |
22 | David Corman, James L. Paunicka |
Industrial Challenges in the Composition of Embedded Systems. |
Monterey Workshop |
2006 |
DBLP DOI BibTeX RDF |
validation, certification, Cyber Physical Systems, embedded real-time systems, systems composition |
22 | Barbara Pernici, Paolo Locatelli, Clementina Marinoni |
The eCCO System: An eCompetence Management Tool Based on Semantic Networks. |
OTM Workshops (2) |
2006 |
DBLP DOI BibTeX RDF |
knowledge object, job profile, certification profile, network enrichment, profile gap analysis, ontology, semantic network, competence, skill |
22 | Åke Walldius, Yngve Sundblad, Alan Borning |
A first analysis of the UsersAward programme from a value sensitive design perspective. |
Critical Computing |
2005 |
DBLP DOI BibTeX RDF |
UsersAward programme, user-driven certification of software, workplace computing, participatory design, value sensitive design |
22 | Francesca Saglietti |
Licensing Reliable Embedded Software for Safety-Critical Applications. |
Real Time Syst. |
2004 |
DBLP DOI BibTeX RDF |
safety applications, pre-developed component, software reliability, embedded software, software licensing, software certification, product quality, expert judgment, process quality |
22 | Xavier Rival |
Symbolic transfer function-based approaches to certified compilation. |
POPL |
2004 |
DBLP DOI BibTeX RDF |
compilation, static analysis, abstract interpretation, certification, translation validation |
22 | Steven Fraser 0001, Ray Bareiss, Barry W. Boehm, Mark Hayes, Laura Hill, Gabby Silberman, Dave A. Thomas |
Meeting the challenge of software engineering education for working professionals in the 21st century. |
OOPSLA Companion |
2003 |
DBLP DOI BibTeX RDF |
industry relevance, learning-how-to-learn, professional masters' program, certification, software engineering education |
22 | Ewen Denney, Bernd Fischer 0002 |
Correctness of Source-Level Safety Policies. |
FME |
2003 |
DBLP DOI BibTeX RDF |
program safety, code certification, Program verification, Hoare logic, proof-carrying code |
22 | Jose L. Muñoz, Jordi Forné, Oscar Esparza, Miguel Soriano |
Using OCSP to Secure Certificate-Using Transactions in M-commerce. |
ACNS |
2003 |
DBLP DOI BibTeX RDF |
certificate status checking, certification, m-commerce, broker, OCSP |
22 | Sathit Nakkrasae, Peraphon Sophatsathit |
A formal approach for specification and classification of software components. |
SEKE |
2002 |
DBLP DOI BibTeX RDF |
component identification, classification, specification, reuse, software certification |
22 | Javier López 0001, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya |
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. |
EGOV |
2002 |
DBLP DOI BibTeX RDF |
Electronic Forms, Public Key Infrastructure, Public Administrations, Secure Communications, Certification Authorities |
22 | James L. Linderman, William T. Schiano |
Information ethics in a responsibility vacuum. |
Data Base |
2001 |
DBLP DOI BibTeX RDF |
ethicists, information ethics, societal responsibility, certification, credentials, public policy, professionalism, qualifications |
22 | Eugenio Faldella, Marco Prandini |
A Novel Approach to On-Line Status Authentication of Public-Key Certificates. |
ACSAC |
2000 |
DBLP DOI BibTeX RDF |
online status authentication, sensitive data exchange, security constraints, revoked certificates, certificate status handling scheme, one-way accumulator, Owa-based Revocation Scheme, Online Certificate Status Protocol, Internet, scalability, authentication, cryptography, protocols, data integrity, data integrity, computer networks, public key cryptography, public key infrastructure, message authentication, telecommunication security, certification authority, public-key certificates, computational load, public networks |
22 | Mohamed Kaâniche, Jean-Claude Laprie, Jean-Paul Blanquart |
Dependability Engineering of Complex Computing Systems. |
ICECCS |
2000 |
DBLP DOI BibTeX RDF |
dependability engineering, complex computing systems, development model, system creation process, classical development steps, dependability processes, fault prevention, fault forecasting, supporting processes, system creation activity, fault tolerance, software reliability, certification, quality assurance, dependable systems, checklist, fault removal |
Displaying result #201 - #300 of 3119 (100 per page; Change: ) Pages: [ <<][ 1][ 2][ 3][ 4][ 5][ 6][ 7][ 8][ 9][ 10][ 11][ 12][ >>] |
|