Resultats de la cerca - interaction constraint programming programming contracts (https OR http)

1

Automated Technology for Verification and Analysis 12th International Symposium, ATVA 2014, Sydney, Australia, November 3-7, 2014, Proceedings /

Publicat 2014

Taula de continguts: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Obtenir text complet

Electrònic eBook

2

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

Publicat 2005

Taula de continguts: “... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”
Obtenir text complet

Electrònic eBook

3

Tests and Proofs 9th International Conference, TAP 2015, Held as Part of STAF 2015, L’Aquila, Italy, July 22-24, 2015. Proceedings /

Publicat 2015

Taula de continguts: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Obtenir text complet

Electrònic eBook

4

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

Publicat 2005

Taula de continguts: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Obtenir text complet

Electrònic eBook

5

Semantic Web Rules International Symposium, RuleML 2010, Washington, DC, USA, October 21-23, 2010, Proceedings /

Publicat 2010

Taula de continguts: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Obtenir text complet

Electrònic eBook

6

Advances in Artificial Intelligence: Theories, Models, and Applications 6th Hellenic Conference on AI, SETN 2010, Athens, Greece, May 4-7, 2010. Proceedings /

Publicat 2010

Taula de continguts: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Obtenir text complet

Electrònic eBook

7

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

Publicat 2007

Taula de continguts: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Obtenir text complet

Electrònic eBook

8

Fundamentals of Software Engineering 5th International Conference, FSEN 2013, Tehran, Iran, April 24-26, 2013, Revised Selected Papers /

Publicat 2013

Taula de continguts: “... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”
Obtenir text complet

Electrònic eBook

9

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

Publicat 2008

Taula de continguts: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Obtenir text complet

Electrònic eBook

10

Information Systems Development Asian Experiences /

Publicat 2011

Taula de continguts: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Obtenir text complet

Electrònic eBook

11

Computers and Education: Towards Educational Change and Innovation

Publicat 2008

Taula de continguts: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Obtenir text complet

Electrònic eBook

12

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

Publicat 2005

Taula de continguts: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Obtenir text complet

Electrònic eBook

13

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

Publicat 2008

Taula de continguts: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Obtenir text complet

Electrònic eBook

14

Automated Technology for Verification and Analysis 5th International Symposium, ATVA 2007 Tokyo, Japan, October 22-25, 2007 Proceedings /

Publicat 2007

Taula de continguts: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Obtenir text complet

Electrònic eBook

15

Service-Oriented Computing – ICSOC 2005 Third International Conference, Amsterdam, The Netherlands, December 12-15, 2005, Proceedings /

Publicat 2005

Taula de continguts: “... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”
Obtenir text complet

Electrònic eBook

16

COTS-Based Software Systems 4th International Conference, ICCBSS 2005, Bilbao, Spain, February 7-11, 2005, Proceedings /

Publicat 2005

Taula de continguts: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Obtenir text complet

Electrònic eBook

17

Computational Logic in Multi-Agent Systems 6th International Workshop, CLIMA VI, London, UK, June 27-29, 2005, Revised Selected and Invited Papers /

Publicat 2006

Taula de continguts: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Obtenir text complet

Electrònic eBook

18

Mathematical Foundations of Computer Science 2012 37th International Symposium, MFCS 2012, Bratislava, Slovakia, August 27-31, 2012, Proceedings /

Publicat 2012

Taula de continguts: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Obtenir text complet

Electrònic eBook

19

SOFSEM 2007: Theory and Practice of Computer Science 33nd Conference on Current Trends in Theory and Practice of Computer Science, Harrachov, Czech Republic, January 20-26, 2007, P...

Publicat 2007

Taula de continguts: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Obtenir text complet

Electrònic eBook

20

Research and Development in Intelligent Systems XXX Incorporating Applications and Innovations in Intelligent Systems XXI Proceedings of AI-2013, The Thirty-third SGAI Internationa...

Publicat 2013

Taula de continguts: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
Obtenir text complet

Electrònic eBook

Refinar cerca