Search Results - integrated navigation programming programming contracts https

Search alternatives:
programming programming » programming programmed , programming program
navigation programming » navigational programming , animation programming , variation programming
integrated navigation » integrated information
programming contracts » programming contract , programming constructs , programming constraints
https » http

Leveraging Applications of Formal Methods, Verification and Validation Third International Symposium, ISoLA 2008, Porto Sani, Greece, October 13-15, 2008, Proceedings /

Published 2008

Table of Contents: “... -- A Framework for Contract-Policy Matching Based on Symbolic Simulations for Securing Mobile Device...”
View full text

Electronic eBook

Model Driven Engineering Languages and Systems 10th International Conference, MoDELS 2007, Nashville, USA, September 30 - October 5, 2007, Proceedings /

Published 2007

Table of Contents: “... Contracts from UML Class Diagrams -- Finding the Pattern You Need: The Design Pattern Intent Ontology...”
View full text

Electronic eBook

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

Published 2010

Table of Contents: “... for Embedded Systems: The Octopus Toolset -- Contract-Based Slicing -- Worst-Case Traversal Time (WCTT...”
View full text

Electronic eBook

Advanced Information Systems Engineering 20th International Conference, CAiSE 2008 Montpellier, France, June 18-20, 2008, Proceedings /

Published 2008

Table of Contents: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
View full text

Electronic eBook

The Semantic Web - ISWC 2008 7th International Semantic Web Conference, ISWC 2008, Karlsruhe, Germany, October 26-30, 2008, Proceedings /

Published 2008

Table of Contents: “... -- RoundTrip Ontology Authoring -- nSPARQL: A Navigational Language for RDF -- An Experimental Comparison...”
View full text

Electronic eBook

The Semantic Web: Research and Applications 4th European Semantic Web Conference, ESWC 2007, Innsbruck, Austria, June 3-7, 2007, Proceedings /

Published 2007

Table of Contents: “... Deductive Systems for RDF -- Semantic Web Services -- Web Service Contracting: Specification and Reasoning...”
View full text

Electronic eBook

SOFSEM 2005: Theory and Practice of Computer Science 31st Conference on Current Trends in Theory and Practice of Computer Science, Liptovský Ján, Slovakia, January 22-28, 2005, Pro...

Published 2005

Table of Contents: “... for Data Integration -- Recent Advances in Graph Drawing -- The Hyperdatabase Network – New Middleware...”
View full text

Electronic eBook

Emerging Technologies for Information Systems, Computing, and Management

Published 2013

Table of Contents: “... -- Anomaly Detection Algorithm Based on Pattern Density in Time Series -- Integrative Optimal Design...”
View full text

Electronic eBook

Advances in Artificial Intelligence - IBERAMIA 2010 12th Ibero-American Conference on AI, Bahía Blanca, Argentina, November 1-5, 2010, Proceedings /

Published 2010

Table of Contents: “... Algorithm with Path Relinking for the p-Median Problem -- Information, Integration and Extraction -- Using...”
View full text

Electronic eBook

Advances in Visual Computing First International Symposium, ISVC 2005, Lake Tahoe, NV, USA, December 5-7, 2005, Proceedings /

Published 2005

Table of Contents: “... -- Distributed and Collaborative Biomedical Data Exploration -- Image Database Navigation: A Globe-Al Approach...”
View full text

Electronic eBook

Proceedings of International Conference on Computer Science and Information Technology CSAIT 2013, September 21-23, 2013, Kunming, China /

Published 2014

Table of Contents: “...-efficiency Model Based on QoS in Cloud Computing -- Revenue Sharing Contract in a Cloud Computing Service...”
View full text

Electronic eBook

Narrow Search