Résultats de la recherche - interactive constraint programming programmed contracts https

1

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

Publié 2015

Table des matières: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Accéder au texte intégral

Électronique eBook

2

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

Publié 2005

Table des matières: “... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”
Accéder au texte intégral

Électronique eBook

3

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

Publié 2014

Table des matières: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Accéder au texte intégral

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

Publié 2005

Table des matières: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Accéder au texte intégral

Électronique eBook

5

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

Publié 2010

Table des matières: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Accéder au texte intégral

Électronique eBook

6

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

Publié 2013

Table des matières: “... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”
Accéder au texte intégral

Électronique eBook

7

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

Publié 2007

Table des matières: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Accéder au texte intégral

Électronique eBook

8

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

Publié 2010

Table des matières: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Accéder au texte intégral

Électronique eBook

9

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

Publié 2008

Table des matières: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Accéder au texte intégral

Électronique eBook

10

Information Systems Development Asian Experiences /

Publié 2011

Table des matières: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Accéder au texte intégral

Électronique eBook

11

Computers and Education: Towards Educational Change and Innovation

Publié 2008

Table des matières: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Accéder au texte intégral

Électronique eBook

12

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

Publié 2008

Table des matières: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Accéder au texte intégral

Électronique eBook

13

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

Publié 2005

Table des matières: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Accéder au texte intégral

Électronique eBook

14

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

Publié 2007

Table des matières: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Accéder au texte intégral

Électronique eBook

15

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

Publié 2005

Table des matières: “... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”
Accéder au texte intégral

Électronique eBook

16

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

Publié 2005

Table des matières: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Accéder au texte intégral

Électronique eBook

17

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

Publié 2006

Table des matières: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Accéder au texte intégral

Électronique eBook

18

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

Publié 2012

Table des matières: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Accéder au texte intégral

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

Publié 2007

Table des matières: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Accéder au texte intégral

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

Publié 2013

Table des matières: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
Accéder au texte intégral

Électronique eBook

Restreindre la recherche