Resultados da busca - interactive certification program developing computing https

Buscas alternativas:
interactive certification » interactive verification , interactive identification , interactive classification
certification program » verification program , certification process , certification exam
developing computing » developing competent , developing computer , developing coping
program developing » programs developing , programme developing , programmes developing
https » http

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

Publicado em 2012

Sumário: “...MetiTarski: Past and Future -- Computer-Aided Cryptographic Proofs -- A Differential Operator...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “... for Vehicle Motion Control -- A Software and System Modeling Facility for Vehicle Environment Interactions...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “... Recommendation System -- Developing Intelligent Smart Home by Utilizing Community Computing -- Instant Learning...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... MRI Using a Grid Computing Approach -- A Grid Molecular Simulator for E-Science -- Application Driven...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... Computational Model to Find Semantic Similarity -- Energy Efficient Cluster Based Aggregation Protocol (EECAP...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... -- Innovations in Computation and Application -- Fuzzy Decision Making for IJV Performance Based on Statistical...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

por Besnard, Denis., Besnard, Denis., Gacek, Cristina., Jones, Cliff.
Publicado em 2006

Sumário: “... bands in systems structure -- Human Components -- Procedures, programs and their impact on dependability...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “...Towards Global and Local Types for Adaptation.- A Concurrent Programming Language with Refined...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2015

Sumário: “...HOFM 2014 -- A Usability Evaluation of Interactive Theorem Provers Using Focus Groups...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2005

Sumário: “... for Empirical and Knowledge-Intense Processes -- Experiments in Neo-computation Based on Emergent Programming...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... Challenges in the Development of Critical Embedded Systems—An “aeromotive” Perspective -- Certification...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2008

Sumário: “...Keynote Speech: A Review of the Ontological Status, Computational Foundations and Methodological...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2006

Sumário: “...-Based Software Development -- Software for Automotive Systems: Model-Integrated Computing -- Simulink...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2010

Sumário: “... and Implementation of an Efficient Method for Certificate Path Verification in Hierarchical Public Key...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Information Processing and Security Systems

Publicado em 2005

Sumário: “... -- Interactive Real-time Image Analysis System for Distant Operation -- Analysis/Synthesis Speech Model Based...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2014

Sumário: “... of Cultural sciences students in Florence -- Mathematical literacy as a condition for sustainable development...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

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

Publicado em 2007

Sumário: “...On the Utility of Formal Methods in the Development and Certification of Software -- Formal...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Advanced Electrical and Electronics Engineering Volume 2 /

Publicado em 2011

Sumário: “... Satellites -- iCloudMedia: A Business Model for Cloud-Based Interactive Multimedia Services -- Study...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Public Key Infrastructure Second European PKI Workshop: Research and Applications, EuroPKI 2005, Canterbury, UK, June 30- July 1, 2005, Revised Selected Papers /

Publicado em 2005

Sumário: “... -- An Innovative Policy-Based Cross Certification Methodology for Public Key Infrastructures -- Modeling Public Key...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Applied Cryptography and Network Security Third International Conference, ACNS 2005, New York, NY, USA, June 7-10, 2005, Proceedings /

Publicado em 2005

Sumário: “... Management -- Searching for High-Value Rare Events with Uncheatable Grid Computing -- Digital Signatures Do...”
Obter o texto integral

Recurso Eletrônico livro eletrônico

Refinar a Busca