Výsledky vyhledávání - interactions constraints programming programming contracts (https OR http)

Alternativní vyhledávání:
interactions constraints » interaction constraints , intersection constraints , international constraints
constraints programming » constraint programming , constrained programming , constraint programing
programming programming » programming programmed , programming program
programming contracts » programming contract , programming constructs , programming constraints

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

Vydáno 2015

Obsah: “...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2014

Obsah: “... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2010

Obsah: “... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2013

Obsah: “... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”
Získat plný text

Elektronický zdroj E-kniha

Information Systems Development Asian Experiences /

Vydáno 2011

Obsah: “... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”
Získat plný text

Elektronický zdroj E-kniha

Computers and Education: Towards Educational Change and Innovation

Vydáno 2008

Obsah: “... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2008

Obsah: “... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2005

Obsah: “...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2012

Obsah: “... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2006

Obsah: “... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2007

Obsah: “... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”
Získat plný text

Elektronický zdroj E-kniha

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

Vydáno 2013

Obsah: “... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”
Získat plný text

Elektronický zdroj E-kniha

Upřesnit hledání