בתוך החיפוש שלך נושאים מוצעים
בתוך החיפוש שלך נושאים מוצעים
אפשרויות חיפוש:
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
https » http
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
https » http
1
יצא לאור 2005
תוכן הענינים:
“... -- Constraint Solving for Contract-Signing Protocols -- A Ground-Complete Axiomatization of Finite State...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
2
יצא לאור 2015
תוכן הענינים:
“...Abstracts of Invited Talks -- Testing, Fixing and Proving with Contracts -- Mind the Gap...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
3
יצא לאור 2014
תוכן הענינים:
“... Verification Framework for Array Programs -- A Bounded Model Checker for SPARK Programs -- Acceleration...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
4
יצא לאור 2005
תוכן הענינים:
“... Understanding via Interactive, Tailorable, Source Code Analysis -- Kaveri: Delivering the Indus Java Program...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
5
יצא לאור 2010
תוכן הענינים:
“... Reasoning -- Rule-Based Event Processing and Reaction Rules -- Ensuring Compliance with Semantic Constraints...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
6
יצא לאור 2007
תוכן הענינים:
“... Constraints -- Guided Development with Multiple Domain-Specific Languages -- Model-Driven, Network-Context...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
7
יצא לאור 2010
תוכן הענינים:
“... Selection Strategies for Constraint Satisfaction Problems -- A Feasibility Study on Low Level Techniques...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
8
יצא לאור 2013
תוכן הענינים:
“... Programming -- Push-Down Automata with Gap-Order Constraints -- Model Checking MANETs with Arbitrary Mobility...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
9
יצא לאור 2008
תוכן הענינים:
“...: A Situation-Driven Approach for Service Integration -- When Interaction Choices Trigger Business...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
10
יצא לאור 2011
תוכן הענינים:
“... and Negative Examples on Object Modeling -- Part 2 IS/IT Project Management -- A Social Contract for University...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
11
יצא לאור 2008
תוכן הענינים:
“... Constraints to a Virtual Course Using a Formal Approach to the Interactions in Collaborative Learning...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
12
יצא לאור 2008
תוכן הענינים:
“... and Ontological Representations: A Case Study in Java and OWL -- Extracting Semantic Constraint from Description...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
13
יצא לאור 2005
תוכן הענינים:
“... for Interaction Protocol Engineering -- Towards a Conversational Language for Artificial Agents in Mixed Community...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
14
יצא לאור 2007
תוכן הענינים:
“... to DA Research -- Toward Property-Driven Abstraction for Heap Manipulating Programs -- Branching vs...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
15
יצא לאור 2005
תוכן הענינים:
“... and Validation of Web Services Interaction Properties -- Using Test Cases as Contract to Ensure Service...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
16
יצא לאור 2005
תוכן הענינים:
“...: Getting a Good Contract -- Integration and Interoperability -- Specifying Interaction Constraints...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
17
יצא לאור 2012
תוכן הענינים:
“... Constraint Satisfaction Games -- A Polynomial-Time Algorithm for Computing the Maximum Common -- Subgraph...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
18
יצא לאור 2006
תוכן הענינים:
“... -- Contract-Related Agents -- Agent Interaction and Normative Systems -- Specification and Verification...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
19
יצא לאור 2007
תוכן הענינים:
“... Composition -- Operational Semantics of Framed Temporal Logic Programs -- Constraints for Argument Filterings...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני
20
יצא לאור 2013
תוכן הענינים:
“... Learning and Constraint Programming -- The Importance of Topology Evolution in NeuroEvolution: A Case Study...”קבל טקסט מלא
אלקטרוני
ספר אלקטרוני