Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
83 | Damian Dechev, Bjarne Stroustrup |
Model-Based Product-Oriented Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, ECBS 2009, San Francisco, California, USA, 14-16 April 2009, pp. 295-304, 2009, IEEE Computer Society, 978-0-7695-3602-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
83 | Ahmed E. Hassan, Ken Zhang |
Using Decision Trees to Predict the Certification Result of a Build. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 21st IEEE/ACM International Conference on Automated Software Engineering (ASE 2006), 18-22 September 2006, Tokyo, Japan, pp. 189-198, 2006, IEEE Computer Society, 0-7695-2579-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
83 | Lam Wing Hong, Lim Swee Cheang, Yum Hui Yuen |
Towards a Certification-Centred Software Engineering Programme. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CSEE&T ![In: 15th Conference on Software Engineering Education and Training (CSEET'02), 25-27 February 2002, Covington, Kentucky, USA, pp. 22-31, 2002, IEEE Computer Society, 0-7695-1515-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
83 | David R. Skeen |
EDP certification: is it necessary? ![Search on Bibsonomy](Pics/bibsonomy.png) |
AFIPS National Computer Conference ![In: American Federation of Information Processing Societies: 1974 National Computer Conference, 6-10 May 1974, Chicago, Illinois, USA, pp. 881-888, 1974, AFIPS Press, 978-1-4503-7920-5. The full citation details ...](Pics/full.jpeg) |
1974 |
DBLP DOI BibTeX RDF |
|
81 | Regina Lúcia de Oliveira Moraes, João Durães, Eliane Martins, Henrique Madeira |
Component-Based Software Certification Based on Experimental Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Third Latin-American Symposium, LADC 2007, Morella, Mexico, September 26-28, 2007, Proceedings, pp. 179-197, 2007, Springer, 978-3-540-75293-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Component-based system certification, Experimental Risk Assessment, Fault Injection |
77 | Leo Hitchcock |
Industry certification: value, validity, and a place for SoDIS®. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGCSE Bull. ![In: ACM SIGCSE Bull. 37(4), pp. 59-63, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
IT certification, industry certification, professional certification, ethics, risk assessment |
77 | Sharon L. Rohde, Karen A. Dyson, Pamela T. Geriner, Deborah A. Cerino |
Certification of reusable software components: summary of work in progress. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 2nd IEEE International Conference on Engineering of Complex Computer Systems (ICECCS '96), 21-25 October 1996, Montreal, Canada, pp. 120-123, 1996, IEEE Computer Society, 0-8186-7614-0. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
reusable software component certification, Air Force, Certification Framework, cost benefit plan, certification tools, prototype, software reusability, business strategies, research and development |
71 | Aileen Cater-Steel, Edmond P. Fitzgerald |
Quality assurance certification: adoption by Australian software developers and its association with capability maturity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
APSEC ![In: 4th Asia-Pacific Software Engineering and International Computer Science Conference (APSEC '97 / ICSC '97), 2-5 December 1997, Clear Water Bay, Hong Kong, pp. 13-22, 1997, IEEE Computer Society, 0-8186-8271-X. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
software quality assurance certification, Australian software developers, capability maturity, government purchasing policies, QA certification, JAS-ANZ register, organisational characteristics, software quality, survey, CMM, questionnaire, Australia, Hong Kong, research project, Singapore |
69 | Steven McDonnell, Bonnie E. Melhart |
Software assessment to support certification for an existing computer-based system. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: IEEE Symposium and Workshop on Engineering of Computer Based Systems (ECBS'96), March 11-15, 1996, Friedrichshafen, Germany., pp. 190-197, 1996, IEEE Computer Society, 0-8186-7355-9. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
software assessment, equipment functionality, hardware control, software control, safety certification, multipurpose display, user interfaces, case study, program verification, systems analysis, software design, certification, certification, government, research, software verification, industry, safety-critical software, software analysis, software safety, software standards, computer displays |
65 | Osman Balci |
A methodology for certification of modeling and simulation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM Trans. Model. Comput. Simul. ![In: ACM Trans. Model. Comput. Simul. 11(4), pp. 352-377, 2001. The full citation details ...](Pics/full.jpeg) |
2001 |
DBLP DOI BibTeX RDF |
credibility assessment, evaluation, verification, validation, certification, accreditation, quality assessment |
63 | Alexandre Alvaro, Eduardo Santana de Almeida, Silvio Romero de Lemos Meira |
Towards a Software Component Certification Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
QSIC ![In: Seventh International Conference on Quality Software (QSIC 2007), 11-12 October 2007, Portland, Oregon, USA, pp. 298-303, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Component Quality Model, Component Evaluation Techniques, Component Metrics Framework and Component Certification Process, Relevant Topics: Software Component Quality and Software Component Certification |
63 | Michael Y. Chang, Robert W. L. Thomas |
On Certification of Dynamically Re-Configurable Tactical Computer Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IPDPS ![In: 17th International Parallel and Distributed Processing Symposium (IPDPS 2003), 22-26 April 2003, Nice, France, CD-ROM/Abstracts Proceedings, pp. 109, 2003, IEEE Computer Society, 0-7695-1926-1. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
System Certification, Virtual Homogeneity, Layered system certification, Tactical computer system, Dynamic computer system, Verification and Validation, Test and Evaluation, Dynamic resource management |
63 | Claes Wohlin, Per Runeson |
Certification of Software Components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Software Eng. ![In: IEEE Trans. Software Eng. 20(6), pp. 494-499, 1994. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP DOI BibTeX RDF |
software component certification, usage modelling technique, failure statistics, hypothesis certification model, usage testing, software quality, software quality, software reuse, software reliability, software reliability, software reusability, software cost estimation, usage modelling, software cost, usage profile |
61 | Byoungcheon Lee, Kwangjo Kim |
Self-certified Signatures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
INDOCRYPT ![In: Progress in Cryptology - INDOCRYPT 2002, Third International Conference on Cryptology in India, Hyderabad, India, December 16-18, 2002, pp. 199-214, 2002, Springer, 3-540-00263-4. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
self-certified signature, self-certified key, multi-certification signature, privilege management infrastructure, digital signature, public key infrastructure |
60 | Benjamin Arazi |
Computationally Efficient Distributed and Delegated Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Parallel Distributed Syst. ![In: IEEE Trans. Parallel Distributed Syst. 19(9), pp. 1167-1174, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
59 | Cristina Satizábal, Jordi Forné, Rafael Martínez-Peláez, Francisco Rico-Novella |
Hierarchical Trust Architecture in a Mobile Ad-Hoc Network Using Ant Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 1000-1007, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Certification Architectures, Ad-Hoc Networks, Ant Algorithms, Public Key Infrastructure (PKI), Certification Path |
57 | Andrew J. Kornecki, Janusz Zalewski |
Certification of software for real-time safety-critical systems: state of the art. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Innov. Syst. Softw. Eng. ![In: Innov. Syst. Softw. Eng. 5(2), pp. 149-161, 2009. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Tool qualification, Real-time systems, Software tools, Safety-critical systems, Software safety, Software certification |
57 | Iman Narasamdya, Michaël Périn |
Certification of smart-card applications in common criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SAC ![In: Proceedings of the 2009 ACM Symposium on Applied Computing (SAC), Honolulu, Hawaii, USA, March 9-12, 2009, pp. 601-608, 2009, ACM, 978-1-60558-166-8. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
assertion functions, common criteria certification, smart-card applications, invariants, assertions, specification techniques |
57 | YiHua Lam, Saadat M. Alhashmi |
Simulation of Halal Food Supply Chain with Certification System: A Multi-Agent System Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PRIMA ![In: Intelligent Agents and Multi-Agent Systems, 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008. Proceedings, pp. 259-266, 2008, Springer, 978-3-540-89673-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Halal food, certification process, Multi-agent, supply chain |
57 | Jinhyung Kim, Jun Hwang, Taemin Kim, Byungwook Lee |
Device Certification System and Method for User's Convenient Contents Use. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FGCN (2) ![In: Future Generation Communication and Networking, FGCN 2007, Ramada Plaza Jeju, Jeju-Island, Korea, December 6-8, 2007, Proceedings, pp. 553-558, 2007, IEEE Computer Society. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Authentication, Certification, Contents, Device |
57 | Sang-Yun Lee, Byung-Uk Choi |
Certification Tools of Ubiquitous Mobile Platform. ![Search on Bibsonomy](Pics/bibsonomy.png) |
UIC ![In: Ubiquitous Intelligence and Computing, 4th International Conference, UIC 2007, Hong Kong, China, July 11-13, 2007, Proceedings, pp. 63-72, 2007, Springer, 978-3-540-73548-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
HAL, Certification tool, PCT, HCT, Platform, WIPI |
57 | Zheng Guo, Tohru Okuyama, Marion R. Finley Jr. |
A New Trust Model for PKI Interoperability. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICAS/ICNS ![In: Joint International Conference on Autonomic and Autonomous Systems 2005 / International Conference on Networking and Services 2005, ICAS/ICNS 2005, Papeete, Tahiti, France, October 23-28, 2005, pp. 37, 2005, IEEE Computer Society, 0-7695-2450-8. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Certification Authority (CA), Gateway Certification Authority (GWCA), PKI Interoperability, Public Key Infrastructure (PKI), X.509, Certification Paths |
55 | Maurizio Talamo |
Introduction - E-Government Services: Certification and Securit. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 5-13, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
55 | Bertrand Marquet, Adrian Rossi, François J. N. Cosquer |
Security Through Integration: Towards a Comprehensive Framework for Development and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 183-188, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
55 | Franco Arcieri, Roberto Giaccio |
E-Government Services: Certification and Security Overlay. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 139-148, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
55 | Ian T. Foster, Frank Siebenlist, Steven Tuecke, Von Welch |
Security and Certification Issues in Grid Computing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 47-55, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
53 | Angela Martin, Rachel Davies, David Hussman, Michael C. Feathers |
To Certify or Not to Certify. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP ![In: Agile Processes in Software Engineering and Extreme Programming, 8th International Conference, XP 2007, Como, Italy, June 18-22, 2007, Proceedings, pp. 268-270, 2007, Springer, 978-3-540-73100-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Community Direction, Certification |
53 | Cristina Satizábal, Rafael Páez, Jordi Forné |
PROSEARCH: A Protocol to Simplify Path Discovery in Critical Scenarios. ![Search on Bibsonomy](Pics/bibsonomy.png) |
CRITIS ![In: Critical Information Infrastructures Security, First International Workshop, CRITIS 2006, Samos, Greece, August 31 - September 1, 2006, Revised Papers, pp. 151-165, 2006, Springer, 3-540-69083-2. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
hierarchical trust model, peer-to-peer trust model, certification path discovery, critical information systems, Public Key Infrastructure (PKI) |
53 | Michael W. Whalen, Johann Schumann, Bernd Fischer 0002 |
Synthesizing Certified Code. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FME ![In: FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings, pp. 431-450, 2002, Springer, 3-540-43928-5. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
automatic program synthesis, code certification, program verification, automated theorem proving, proof-carrying code |
52 | John M. Rushby |
Just-in-Time Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICECCS ![In: 12th International Conference on Engineering of Complex Computer Systems (ICECCS 2007), 10-14 July 2007, Auckland, New Zealand, pp. 15-24, 2007, IEEE Computer Society, 978-0-7695-2895-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
52 | Jun Luo 0001, Jean-Pierre Hubaux, Patrick Th. Eugster |
DICTATE: DIstributed CerTification Authority with probabilisTic frEshness for Ad Hoc Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Trans. Dependable Secur. Comput. ![In: IEEE Trans. Dependable Secur. Comput. 2(4), pp. 311-323, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
security, simulations, Ad hoc networks, system design, public-key infrastructure, Quorum Systems |
52 | Georgios Katsikis, Naoum Mengoudis, Alexandros Nanopoulos, Ioannis Samoladas, Ioannis Stamelos |
ASPIS: An Automated Information System for Certification and Analysis of Examination Process. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Panhellenic Conference on Informatics ![In: Advances in Informatics, 10th Panhellenic Conference on Informatics, PCI 2005, Volos, Greece, November 11-13, 2005, Proceedings, pp. 513-522, 2005, Springer, 3-540-29673-5. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
52 | Ralph V. Rogers, Vince Amico, Mark Yerkes |
Simulation standards: the simulation professional certification program: a status report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1628-1632, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
52 | Osman Balci, Said D. Saadi |
Simulation standards: proposed standard processes for certification of modeling and simulation applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
WSC ![In: Proceedings of the 34th Winter Simulation Conference: Exploring New Frontiers, San Diego, California, USA, December 8-11, 2002, pp. 1621-1627, 2002, WSC, 0-7803-7615-3. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
51 | Gregory Zoughbi, Lionel C. Briand, Yvan Labiche |
A UML Profile for Developing Airworthiness-Compliant (RTCA DO-178B), Safety-Critical Software. ![Search on Bibsonomy](Pics/bibsonomy.png) |
MoDELS ![In: Model Driven Engineering Languages and Systems, 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings, pp. 574-588, 2007, Springer, 978-3-540-75208-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Airworthiness, RTCA DO-178B, Safety Assessment, UML, Safety, Certification, UML Profile, Safety-Critical, Certification Authority |
51 | Andrew Stein, Con Nikakis, John Bentley, Rob Jovanovic |
The Industry and Education Nexus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Information and Communication Technologies and Real-Life Learning ![In: Information and Communication Technologies and Real-Life Learning, New Education for the Knowledge Society, December 2004, Melbourne, Australia, working conference organised by IFIP Working Group 3.2 (Informatics and ICT in Higher Education) and IFIP Working Group 3.4 (Professional and Vocational Education in Information Technology), pp. 255-262, 2004, Springer, 0-387-25996-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Vendor certification, certification implementation, curriculum |
50 | Frances Paulisch, Peter Zimmerer |
A role-based qualification and certification program for software architects: an experience report from Siemens. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSE (2) ![In: Proceedings of the 32nd ACM/IEEE International Conference on Software Engineering - Volume 2, ICSE 2010, Cape Town, South Africa, 1-8 May 2010, pp. 21-27, 2010, ACM. The full citation details ...](Pics/full.jpeg) |
2010 |
DBLP DOI BibTeX RDF |
software engineering, software architecture, education, testing, training, curriculum, certification |
50 | Rim Chayeh, Christophe Cérin, Mohamed Jemni |
A Probabilistic Fault-Tolerant Recovery Mechanism for Task and Result Certification of Large-Scale Distributed Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
GPC ![In: Advances in Grid and Pervasive Computing, 4th International Conference, GPC 2009, Geneva, Switzerland, May 4-8, 2009. Proceedings, pp. 471-482, 2009, Springer, 978-3-642-01670-7. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
Probabilistic certification, Fault-Tolerance by value, Distributed systems, Recovery, Result checking, Meta-computing |
50 | Dominique Burger, Pierre Guillou |
Towards Web Accessibility Certification: The Findings of the Support-EAM Project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICCHP ![In: Computers Helping People with Special Needs, 10th International Conference, ICCHP 2006, Linz, Austria, July 11-13, 2006, Proceedings, pp. 245-252, 2006, Springer, 3-540-36020-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
eAccessibility, Supplier’s declaration, Quality Mark, Web accessibility, Certification, Conformity |
50 | J. Fernando Naveda, Stephen B. Seidman |
Professional Certification of Software Engineers: The CSDP Program. ![Search on Bibsonomy](Pics/bibsonomy.png) |
IEEE Softw. ![In: IEEE Softw. 22(5), pp. 73-77, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Software engineering certification |
50 | Herbert E. Longenecker Jr., David L. Feinstein |
Development of assessment for undergraduate programs of information technology, and certification for program graduates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 6th Conference on Information Technology Education, SIGITE 2005, Newark, NJ, USA, October 20-22, 2005, pp. 163-166, 2005, ACM, 1-59593-252-6. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
CCER, ICCP, IS curriculum, standards, assessment, certification, computing education, IT curriculum |
50 | Hailiang Mei, Johan J. Lukkien, Johan Muskens |
A Compositional Claim-based Component Certification Procedure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO ![In: 30th EUROMICRO Conference 2004, 31 August - 3 September 2004, Rennes, France, pp. 620-626, 2004, IEEE Computer Society, 0-7695-2199-1. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Component certification, Component verification, Component sealing and Secured certificate, Component-based software system |
48 | Adam Kolawa |
Software Certification Debate: Certification Will Do More Harm than Good. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 35(6), pp. 34-35, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Leonard L. Tripp |
Software Certification Debate: Benefits of Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 35(6), pp. 31-33, 2002. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
48 | Ewen Denney, Bernd Fischer 0002, Dieter Hutter, Mark Jones |
Software certificate management (SoftCeMent'05). ![Search on Bibsonomy](Pics/bibsonomy.png) |
ASE ![In: 20th IEEE/ACM International Conference on Automated Software Engineering (ASE 2005), November 7-11, 2005, Long Beach, CA, USA, pp. 463, 2005, ACM, 1-58113-993-4. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
48 | T. S. E. Maibaum, Alan Wassyng |
A Product-Focused Approach to Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Computer ![In: Computer 41(2), pp. 91-93, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
certification, software technologies, software certification |
48 | Heng-Li Yang, Chen-Shu Wang, Mu-Yen Chen |
A Personalization Recommendation Framework of IT Certification e-Learning System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
KES (2) ![In: Knowledge-Based Intelligent Information and Engineering Systems, 11th International Conference, KES 2007, XVII Italian Workshop on Neural Networks, Vietri sul Mare, Italy, September 12-14, 2007. Proceedings, Part II, pp. 50-57, 2007, Springer, 978-3-540-74826-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IT certification, examinee personalization recommendation, certification examination preparation |
46 | Helen Armstrong, Colin J. Armstrong |
The Role of Information Security Industry Training and Accreditation in Tertiary Education. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Conference on Information Security Education ![In: Fifth World Conference on Information Security Education, Proceedings of the IFIP TC11 WG 11.8, WISE 5, 19 to 21 June 2007, United States Military Academy, West Point, New York, USA, pp. 137-140, 2007, Springer, 978-0-387-73268-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
information security industry training, information systems professional certification, Information security education |
46 | Joana Trimble |
The I.T. circuit certificate: training for the future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGUCCS ![In: Proceedings of the 33rd Annual ACM SIGUCCS Conference on User Services 2005, Monterey, CA, USA, November 6-9, 2005, pp. 401-404, 2005, ACM, 1-59593-200-3. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
computer certification, computer competency, computer training program, training, computer education, computer training |
46 | Jeffrey M. Voas |
Limited Software Warranties. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ECBS ![In: 7th IEEE International Symposium on Engineering of Computer-Based Systems (ECBS 2000), 3-7 April 2000, Edinburgh, Scotland, UK, pp. 56-63, 2000, IEEE Computer Society, 0-7695-0604-6. The full citation details ...](Pics/full.jpeg) |
2000 |
DBLP DOI BibTeX RDF |
Warranties, fact sheets, testing, software certification |
44 | Luis Carlos Coronado García, Carlos Hernández-López, Carlos Pérez Leguízamo |
Autonomous Decentralized Root Certification Authority System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICDCS Workshops ![In: 29th IEEE International Conference on Distributed Computing Systems Workshops (ICDCS 2009 Workshops), 22-26 June 2009, Montreal, Québec, Canada, pp. 257-262, 2009, IEEE Computer Society, 978-0-7695-3660-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
44 | Rikard Land, Alexandre Alvaro, Ivica Crnkovic |
Towards Efficient Software Component Evaluation: An Examination of Component Selection and Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EUROMICRO-SEAA ![In: 34th Euromicro Conference on Software Engineering and Advanced Applications, SEAA 2008, September 3-5, 2008, Parma, Italy, pp. 274-281, 2008, IEEE Computer Society, 978-0-7695-3276-9. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
|
44 | Robin A. Gandhi, Seok Won Lee |
Discovering and Understanding Multi-dimensional Correlations among Certification Requirements with application to Risk Assessment. ![Search on Bibsonomy](Pics/bibsonomy.png) |
RE ![In: 15th IEEE International Requirements Engineering Conference, RE 2007, October 15-19th, 2007, New Delhi, India, pp. 231-240, 2007, IEEE Computer Society, 0-7695-2935-6. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Marianne Azer, Sherif El-Kassas, Magdy S. El-Soudani |
Certification and Revocation Schemes in Ad Hoc Networks Survey and Challenges. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICSNC ![In: Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), August 25-31, 2007, Cap Esterel, French Riviera, France, pp. 17, 2007, IEEE Computer Society, 0-7695-2938-0. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
44 | Jean-Louis Roch, Sébastien Varrette |
Probabilistic certification of divide & conquer algorithms on global computing platforms: application to fault-tolerant exact matrix-vector product. ![Search on Bibsonomy](Pics/bibsonomy.png) |
PASCO ![In: Parallel Symbolic Computation, PASCO 2007, International Workshop, 27-28 July 2007, University of Western Ontario, London, Ontario, Canada, pp. 88-92, 2007, ACM, 978-1-59593-741-4. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
divide & conquer algorithms, fork-join macro-data flow graph, global computing, result-checking |
44 | Nhiem Lu, Paula M. C. Swatman |
Mobile Organic Certification (MobiCert) - A theoretical foundation for a practical project. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICMB ![In: 2006 International Conference on Mobile Business (ICMB 2006), 26-27 June 2006, Copenhagen, Denmark, pp. 19, 2006, IEEE Computer Society, 0-7695-2595-4. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
44 | Benedito Sakugawa, Edson Cury, Edgar Toshiro Yano |
Airborne Software Concerns in Civil Aviation Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
LADC ![In: Dependable Computing, Second Latin-American Symposium, LADC 2005, Salvador, Brazil, October 25-28, 2005, Proceedings, pp. 52-60, 2005, Springer, 3-540-29572-0. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
|
44 | Graham Wright |
Achieving ISO 9001 Certification for an XP Company. ![Search on Bibsonomy](Pics/bibsonomy.png) |
XP/Agile Universe ![In: Extreme Programming and Agile Methods - XP/Agile Universe 2003, Third XP and Second Agile Universe Conference, New Orleans, LA, USA, August 10-13, 2003, Proceedings, pp. 43-50, 2003, Springer, 3-540-40662-X. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
|
44 | Lars Bratthall, Johan Hasselberg, Brad Hoffman, Zbigniew Korendo, Bruno Schilli, Lars Gundersen |
Component Certification - What is the Value? ![Search on Bibsonomy](Pics/bibsonomy.png) |
PROFES ![In: Product Focused Software Process Improvement, 4th International Conference, PROFES 2002, Rovaniemi, Finland, December 9-11, 2002, Proceedings, pp. 119-133, 2002, Springer, 3-540-00234-0. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
|
44 | Anas Tarah, Christian Huitema |
Associating Metrics to Certification Paths. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 92, Second European Symposium on Research in Computer Security, Toulouse, France, November 23-25, 1992, Proceedings, pp. 175-189, 1992, Springer, 3-540-56246-X. The full citation details ...](Pics/full.jpeg) |
1992 |
DBLP DOI BibTeX RDF |
|
43 | Enrico Nardelli, Sabina Posadziejewski, Maurizio Talamo (eds.) |
Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![Kluwer, 1-4020-7493-X The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP BibTeX RDF |
|
43 | Jennifer Stoddart |
Respecting Privacy in E-Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 201-210, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Arun Iyengar, Ronald Mraz, Mary Ellen Zurko |
Performance Considerations in Web Security. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 57-71, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | John J. Borking |
The Status of Privacy Enhancing Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 211-246, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Oleksiy Mazhelis, Alexandr Seleznyov, Seppo Puuronen |
A Multi-Expert Based Approach to Continuous Authentication of Mobile-Device Users. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 149-164, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Guido Marinelli, Paolo Russo |
Mountain Information System: A Distributed E-Government Office. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 127-138, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Reinhard Posch, Herbert Leitold |
Identification and Confidentiality for e-Government. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 267-279, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Kathleen Tolan |
Initiatives in the Fight Against Cyber Terrorism. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 247-265, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Fabio Di Vito, Paola Inverardi, Giovanna Melideo |
A Context-Aware Approach to Infer Trust in Public Key Infrastructures. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 111-125, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | David T. Shaw, Stanislaw P. Maj |
Multiple Applications with a Single Smart Card. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 189-193, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Igor Balabine, Arne Koschel |
Deploying Multi-tier Applications Across Multiple Security Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 177-182, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Hakan Hacigümüs, Balakrishna R. Iyer, Sharad Mehrotra |
Encrypted Database Integrity in Database Service Provider Model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 165-174, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Raouf Boutaba, Brent Ishibashi, Basem Shihada |
A Network Management Viewpoint on Security in e-Services. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 17-45, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Richard E. Schantz, Franklin Webber, Partha P. Pal, Joseph P. Loyall, Douglas C. Schmidt |
Protecting Applications Against Malice Using AdaptiveMiddleware. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 73-108, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
43 | Étínne Dubreuil |
Mastering E-Commerce and Globalization. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Certification and Security in E-Services ![In: Certification and Security in E-Services, From E-Govenment to E-Business, IFIP 17th World Computer Congress - TC11 Stream on Security in E-Services, August 26-29, 2002, Montréal, Québec, Canada, pp. 281-291, 2002, Kluwer, 1-4020-7493-X. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP BibTeX RDF |
|
42 | Tomi O. Kelo, Jukka A. Koskinen |
Modeling network security competence for certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIN ![In: Proceedings of the 2nd International Conference on Security of Information and Networks, SIN 2009, Gazimagusa, North Cyprus, October 6-10, 2009, pp. 30-38, 2009, ACM, 978-1-60558-412-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
network security, certification, competence |
42 | Parminder Kaur 0001, Hardeep Singh |
Certification process of software components. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 33(4), 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
component attributes, component certification, software components, component based software engineering, component models |
42 | José María de Fuentes, Ana Isabel González-Tablas Ferreres, Arturo Ribagorda |
CERTILOC: Implementation of a Spatial-Temporal Certification Service Compatible with Several Localization Technologies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 363-368, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
localization, Certification, legal issues |
42 | Ana Isabel González-Tablas Ferreres, Benjamín Ramos Álvarez, Arturo Ribagorda Garnacho |
Spatial-Temporal Certification Framework and Extension of X.509 Attribute Certificate Framework and SAML Standard to Support Spatial-Temporal Certificates. ![Search on Bibsonomy](Pics/bibsonomy.png) |
EuroPKI ![In: Public Key Infrastructure, 4th European PKI Workshop: Theory and Practice, EuroPKI 2007, Palma de Mallorca, Spain, June 28-30, 2007, Proceedings, pp. 321-329, 2007, Springer, 978-3-540-73407-9. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Spatial-temporal certification, X.509 AC, SAML |
42 | Leo Hitchcock |
Industry certification and academic degrees: complementary, or poles apart? ![Search on Bibsonomy](Pics/bibsonomy.png) |
CPR ![In: Proceedings of the 2007 ACM SIGMIS CPR Conference on Computer Personnel Research 2007, April 19-21, 2007, St. Louis, Missouri, USA, pp. 95-100, 2007, ACM, 978-1-59593-641-7. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
IS research, IT job market, academic curricula, industry certification, industry-based education |
42 | Matthew Simon, Jill Slay |
Forensic Computing Training, Certification and Accreditation: An Australian Overview. ![Search on Bibsonomy](Pics/bibsonomy.png) |
World Conference on Information Security Education ![In: Fifth World Conference on Information Security Education, Proceedings of the IFIP TC11 WG 11.8, WISE 5, 19 to 21 June 2007, United States Military Academy, West Point, New York, USA, pp. 105-112, 2007, Springer, 978-0-387-73268-8. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
Education, Training, Certification, Forensic Computing |
42 | Maria João Frade, Ando Saabas, Tarmo Uustalu |
Foundational certification of data-flow analyses. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TASE ![In: First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering, TASE 2007, June 5-8, 2007, Shanghai, China, pp. 107-116, 2007, IEEE Computer Society, 0-7695-2856-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
data-flow analyses, certification of analyses and optimizations, applied vs. foundational, type systems, program optimizations, Hoare logics, natural semantics |
42 | Gerald Clevenger |
Incorporating certification and accreditation coursework into network security curriculum. ![Search on Bibsonomy](Pics/bibsonomy.png) |
InfoSecCD ![In: Proceedings of the 3rd Annual Conference on Information Security Curriculum Development, InfoSecCD 2006, Kennesaw, Georgia, USA, September 22-23, 2006, pp. 41-43, 2006, ACM, 1-59593-437-5. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
CNSS 4015, NIST standards, information systems certification, system accreditation, curriculum design |
42 | Seok Won Lee, Robin A. Gandhi, Gail-Joon Ahn |
Establishing trustworthiness in services of the critical infrastructure through certification and accreditation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ACM SIGSOFT Softw. Eng. Notes ![In: ACM SIGSOFT Softw. Eng. Notes 30(4), pp. 1-7, 2005. The full citation details ...](Pics/full.jpeg) |
2005 |
DBLP DOI BibTeX RDF |
Security and Standardization, information security requirements engineering, information systems certification and accreditation, risk assessment, ontological engineering, critical infrastructure protection |
42 | Javier López 0001, Antonio Mana, José A. Montenegro, Juan J. Ortega |
PKI design based on the use of on-line certification authorities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Int. J. Inf. Sec. ![In: Int. J. Inf. Sec. 2(2), pp. 91-102, 2004. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
Certification authories, Authentication, PKI, Revocation, Public-key certificates |
42 | Lynn J. McKell, John H. Reynolds, Herbert E. Longenecker Jr., Jeffrey P. Landry, John Harold Pardue |
Integrating program evaluation and a new certification for information technology professionals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SIGITE Conference ![In: Proceedings of the 5th Conference on Information Technology Education, SIGITE 2004, 2004, Salt Lake City, UT, USA, October 28-30, 2004, pp. 283, 2004, ACM, 1-58113-936-5. The full citation details ...](Pics/full.jpeg) |
2004 |
DBLP DOI BibTeX RDF |
model curriculum, education, certification, credential, program evaluation |
42 | Ariel Ortiz |
Preparing undergraduate students for Java certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
OOPSLA Companion ![In: Companion of the 18th Annual ACM SIGPLAN Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA 2003, October 26-30, 2003, Anaheim, CA, USA, pp. 178-183, 2003, ACM, 1-58113-751-6. The full citation details ...](Pics/full.jpeg) |
2003 |
DBLP DOI BibTeX RDF |
SCJP, Java, certification |
42 | K. H. Kim |
Toward QoS Certification of Real-Time Distributed Computing Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
HASE ![In: 7th IEEE International Symposium on High-Assurance Systems Engineering (HASE 2002), 23-25 October 2002, Tokyo, Japan, pp. 177-188, 2002, IEEE Computer Society, 0-7695-1769-2. The full citation details ...](Pics/full.jpeg) |
2002 |
DBLP DOI BibTeX RDF |
design-time, execution safety, Risk Incursion Function, security, fault tolerance, real-time, service, quality, certification, risk, TMO, timeliness, guarantee, RIF |
40 | Andreas Ekelhart, Stefan Fenz, Gernot Goluch, Edgar R. Weippl |
Ontological Mapping of Common Criteria's Security Assurance Requirements. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SEC ![In: New Approaches for Security, Privacy and Trust in Complex Environments, Proceedings of the IFIP TC-11 22nd International Information Security Conference (SEC 2007), 14-16 May 2007, Sandton, South Africa, pp. 85-95, 2007, Springer, 978-0-387-72366-2. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|
40 | Kiho Shin, Yoonho Kim, Yanggon Kim |
An Effective Authentication Scheme in Mobile Ad Hoc Network. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SNPD ![In: Seventh International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing (SNPD 2006), 19-20 June 2006, Las Vegas, Nevada, USA, pp. 249-252, 2006, IEEE Computer Society, 0-7695-2611-X. The full citation details ...](Pics/full.jpeg) |
2006 |
DBLP DOI BibTeX RDF |
|
38 | Ralph L. London |
Certification of algorithm 245 [M1]: treesort 3: proof of algorithms - a new kind of certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Commun. ACM ![In: Commun. ACM 13(6), pp. 371-373, 1970. The full citation details ...](Pics/full.jpeg) |
1970 |
DBLP DOI BibTeX RDF |
in-place sorting, metatheory, proof of algorithms, debugging, sorting, certification |
38 | Konstantinos Dalamagkidis, Kimon P. Valavanis, Les A. Piegl |
Current Status and Future Perspectives for Unmanned Aircraft System Operations in the US. ![Search on Bibsonomy](Pics/bibsonomy.png) |
J. Intell. Robotic Syst. ![In: J. Intell. Robotic Syst. 52(2), pp. 313-329, 2008. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Airworthiness, National airspace system (NAS), Ultralight, Unmanned aircraft systems (UAS), Classification, Certification |
38 | Rafael Martínez-Peláez, Cristina Satizábal, Francisco Rico-Novella, Jordi Forné |
Efficient Certificate Path Validation and Its Application in Mobile Payment Protocols. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ARES ![In: Proceedings of the The Third International Conference on Availability, Reliability and Security, ARES 2008, March 4-7, 2008, Technical University of Catalonia, Barcelona , Spain, pp. 701-708, 2008, IEEE Computer Society, 978-0-7695-3102-1. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Certification Path Validation, SET protocol, Mobile Payment, Public Key Infrastructure (PKI) |
38 | Saar Drimer, Steven J. Murdoch, Ross J. Anderson |
Thinking Inside the Box: System-Level Failures of Tamper Proofing. ![Search on Bibsonomy](Pics/bibsonomy.png) |
SP ![In: 2008 IEEE Symposium on Security and Privacy (SP 2008), 18-21 May 2008, Oakland, California, USA, pp. 281-295, 2008, IEEE Computer Society, 978-0-7695-3168-7. The full citation details ...](Pics/full.jpeg) |
2008 |
DBLP DOI BibTeX RDF |
Chip and PIN, PIN entry devices, certification, incentives, smartcard, banking, tamper resistance, common criteria, EMV |
38 | Ueli M. Maurer |
Modelling a Public-Key Infrastructure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ESORICS ![In: Computer Security - ESORICS 96, 4th European Symposium on Research in Computer Security, Rome, Italy, September 25-27, 1996, Proceedings, pp. 325-350, 1996, Springer, 3-540-61770-1. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
cryptography, trust, recommendations, key management, probabilistic logic, Distributed system security, public-key certification |
36 | Yuan Dong, Shengyuan Wang, Liwei Zhang, Ping Yang |
Modular Certification of Low-Level Intermediate Representation Programs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
COMPSAC (1) ![In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2009, Seattle, Washington, USA, July 20-24, 2009. Volume 1, pp. 563-570, 2009, IEEE Computer Society, 978-0-7695-3726-9. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Boutheina Chetali |
Security Testing and Formal Methods for High Levels Certification of Smart Cards. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TAP@TOOLS ![In: Tests and Proofs - 3rd International Conference, TAP@TOOLS 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings, pp. 1-5, 2009, Springer, 978-3-642-02948-6. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Iman Narasamdya, Michaël Périn |
Certification of Smart-Card Applications in Common Criteria. ![Search on Bibsonomy](Pics/bibsonomy.png) |
FASE ![In: Fundamental Approaches to Software Engineering, 12th International Conference, FASE 2009, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2009, York, UK, March 22-29, 2009. Proceedings, pp. 309-324, 2009, Springer, 978-3-642-00592-3. The full citation details ...](Pics/full.jpeg) |
2009 |
DBLP DOI BibTeX RDF |
|
36 | Fan Zhang, Jianfeng Ma 0001, Sang-Jae Moon |
Universally composable anonymous Hash certification model. ![Search on Bibsonomy](Pics/bibsonomy.png) |
Sci. China Ser. F Inf. Sci. ![In: Sci. China Ser. F Inf. Sci. 50(3), pp. 440-455, 2007. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
authentication, anonymous, Hash, universal composable security |
36 | T. S. E. Maibaum |
Challenges in Software Certification. ![Search on Bibsonomy](Pics/bibsonomy.png) |
ICFEM ![In: Formal Methods and Software Engineering, 9th International Conference on Formal Engineering Methods, ICFEM 2007, Boca Raton, FL, USA, November 14-15, 2007, Proceedings, pp. 4-18, 2007, Springer, 978-3-540-76648-3. The full citation details ...](Pics/full.jpeg) |
2007 |
DBLP DOI BibTeX RDF |
|