Search Results - interface comparing programming program contract https

Search alternatives:
comparing programming » computing programming , comparative programming , component programming
interface comparing » interfaces comparing , interface composing , interface comparison
programming program » programming programmed , programming problem , programming problems
program contract » programme contract , program abstract , program controls
contract https » control https , conflict https , contract nets

CONCUR 2005 - Concurrency Theory 16th International Conference, CONCUR 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings /

Published 2005

Table of Contents: “... Pseudometric for Metric Labelled Transition Systems -- On Probabilistic Program Equivalence and Refinement...”
View full text

Electronic eBook

Fundamental Approaches to Software Engineering 17th International Conference, FASE 2014, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 20...

Published 2014

Table of Contents: “... by Fixing Contracts -- Dynamic Package Interfaces -- SMT-Based Checking of SOLOIST over Sparse Traces...”
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

Multi-Agent Systems and Applications IV 4th International Central and Eastern European Conference on Multi-Agent Systems, CEEMAS 2005, Budapest, Hungary, September 15-17, 2005, Pro...

Published 2005

Table of Contents: “...-agent System Based on Policies and Contracts -- Case-Based Student Modeling in Multi-agent Learning...”
View full text

Electronic eBook

Applications of Graph Transformations with Industrial Relevance Third International Symposium, AGTIVE 2007, Kassel, Germany, October 10-12, 2007, Revised Selected and Invited Paper...

Published 2008

Table of Contents: “... Abstract Graph Views as Module Interfaces -- Programmed Graph Rewriting with DEVS -- Relational Growth...”
View full text

Electronic eBook

On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France,...

Published 2006

Table of Contents: “... and Application Execution in a Grid: A Migration Experience from GT2 to GT4 -- A Comparative Analysis Between EGEE...”
View full text

Electronic eBook

Business Process Management 3rd International Conference, BPM 2005, Nancy, France, September 5-8, 2005, Proceedings /

Published 2005

Table of Contents: “... Contract Layered Architecture for Regulating Cross-Organisational Business Processes -- An Effective...”
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: “... in Real Scenes -- Comparing Sphere-Tree Generators and Hierarchy Updates for Deformable Objects Collision...”
View full text

Electronic eBook

Narrow Search