Αποτελέσματα αναζήτησης - interaction constraints programming programming contracts https

1

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

Έκδοση 2005

Πίνακας περιεχομένων: “... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

2

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

Έκδοση 2014

Πίνακας περιεχομένων: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

3

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

Έκδοση 2015

Πίνακας περιεχομένων: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2005

Πίνακας περιεχομένων: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

5

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

Έκδοση 2010

Πίνακας περιεχομένων: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

6

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

Έκδοση 2007

Πίνακας περιεχομένων: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

7

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

Έκδοση 2010

Πίνακας περιεχομένων: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

8

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

Έκδοση 2013

Πίνακας περιεχομένων: “... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

9

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

Έκδοση 2008

Πίνακας περιεχομένων: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

10

Information Systems Development Asian Experiences /

Έκδοση 2011

Πίνακας περιεχομένων: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

11

Computers and Education: Towards Educational Change and Innovation

Έκδοση 2008

Πίνακας περιεχομένων: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2005

Πίνακας περιεχομένων: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

13

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

Έκδοση 2008

Πίνακας περιεχομένων: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

14

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

Έκδοση 2007

Πίνακας περιεχομένων: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

15

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

Έκδοση 2005

Πίνακας περιεχομένων: “... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

16

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

Έκδοση 2005

Πίνακας περιεχομένων: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

17

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

Έκδοση 2006

Πίνακας περιεχομένων: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

18

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

Έκδοση 2012

Πίνακας περιεχομένων: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2007

Πίνακας περιεχομένων: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

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

Έκδοση 2013

Πίνακας περιεχομένων: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
Λήψη πλήρους κειμένου

Ηλεκτρονική πηγή Ηλ. βιβλίο

Περιορισμός αναζήτησης