Risultati della ricerca - interactive certification program developing computer https

Cerca anche:
interactive certification » interactive verification , interactive identification , interactive classification
certification program » verification program , certification process , certification exam
developing computer » development computer , developing competent , developing complex
program developing » programs developing , programme developing , programmes developing
computer https » computers https , computing https , computer arts

Interactive Theorem Proving Third International Conference, ITP 2012, Princeton, NJ, USA, August 13-15, 2012. Proceedings /

Pubblicazione 2012

Sommario: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
Testo

Elettronico eBook

Model-Driven Development of Reliable Automotive Services Second Automotive Software Workshop, ASWSD...

Pubblicazione 2008

Sommario: “... for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions...”
Testo

Elettronico eBook

Ubiquitous Computing Systems 4th International Symposium, UCS 2007, Tokyo, Japan, November 25-28, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... Recommendation System -- Developing Intelligent Smart Home by Utilizing Community Computing -- Instant Learning...”
Testo

Elettronico eBook

Advances in Grid Computing - EGC 2005 European Grid Conference, Amsterdam, The Netherlands, February 14-16, 2005, Revised Selected Papers /

Pubblicazione 2005

Sommario: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Testo

Elettronico eBook

Intelligent Computing, Networking, and Informatics Proceedings of the International Conference...

Pubblicazione 2014

Sommario: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Testo

Elettronico eBook

Computational Collective Intelligence. Technologies and Applications Second International...

Pubblicazione 2010

Sommario: “... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”
Testo

Elettronico eBook

Structure for Dependability: Computer-Based Systems from an Interdisciplinary Perspective

di Besnard, Denis., Besnard, Denis., Gacek, Cristina., Jones, Cliff.
Pubblicazione 2006

Sommario: “... bands in systems structure -- Human Components -- Procedures, programs and their impact on dependability...”
Testo

Elettronico eBook

Software Engineering and Formal Methods SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected P...

Pubblicazione 2014

Sommario: “...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”
Testo

Elettronico eBook

Multiagent System Technologies Third German Conference, MATES 2005, Koblenz, Germany, September 11-13, 2005, Proceedings /

Pubblicazione 2005

Sommario: “... for Empirical and Knowledge-Intense Processes -- Experiments in Neo-computation Based on Emergent Programming...”
Testo

Elettronico eBook

Software Engineering and Formal Methods SEFM 2014 Collocated Workshops: HOFM, SAFOME, OpenCert, MoKMaSD, WS-FMDS, Grenoble, France, September 1-2, 2014, Revised Selected Papers /

Pubblicazione 2015

Sommario: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Testo

Elettronico eBook

Intelligent Agents and Multi-Agent Systems 11th Pacific Rim International Conference on Multi-Agents, PRIMA 2008, Hanoi, Vietnam, December 15-16, 2008, Proceedings /

Pubblicazione 2008

Sommario: “...Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological...”
Testo

Elettronico eBook

Leveraging Applications of Formal Methods, Verification, and Validation 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21,...

Pubblicazione 2010

Sommario: “... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”
Testo

Elettronico eBook

Automotive Software-Connected Services in Mobile Networks First Automotive Software Workshop, ASWSD 2004, San Diego, CA, USA, January 10-12, 2004, Revised Selected Papers /

Pubblicazione 2006

Sommario: “...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...”
Testo

Elettronico eBook

Information Processing and Management International Conference on Recent Trends in Business Administration and Information Processing, BAIP 2010, Trivandrum, Kerala, India, March 2...

Pubblicazione 2010

Sommario: “... and Implementation of an Efficient Method for Certificate Path Verification in Hierarchical Public Key...”
Testo

Elettronico eBook

Information Processing and Security Systems

Pubblicazione 2005

Sommario: “... -- Interactive Real-time Image Analysis System for Distant Operation -- Analysis/Synthesis Speech Model Based...”
Testo

Elettronico eBook

Information Technology and Open Source: Applications for Education, Innovation, and Sustainability SEFM 2012 Satellite Events, InSuEdu, MoKMaSD, and OpenCert Thessaloniki, Greece,...

Pubblicazione 2014

Sommario: “... of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development...”
Testo

Elettronico eBook

Theorem Proving in Higher Order Logics 20th International Conference, TPHOLs 2007, Kaiserslautern, Germany, September 10-13, 2007, Proceedings /

Pubblicazione 2007

Sommario: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
Testo

Elettronico eBook

Network-Based Information Systems First International Conference, NBIS 2007, Regensburg, Germany, September 3-7, 2007, Proceedings /

Pubblicazione 2007

Sommario: “... -- SKEMON: A Simple Certificate-Less Method for Key Exchange by Using Mobile Network -- Secure System...”
Testo

Elettronico eBook

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,...

Pubblicazione 2007

Sommario: “...-Computer Interaction I -- Value creation and Return On Security Investments (ROSI) -- Usability...”
Testo

Elettronico eBook

Advanced Electrical and Electronics Engineering Volume 2 /

Pubblicazione 2011

Sommario: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
Testo

Elettronico eBook

Restringi la ricerca