Suggestion de sujets dans votre recherche.
Suggestion de sujets dans votre recherche.
Recherches alternatives:
computing processing » computing proceeding, computing proceedings, computer processing
processing programs » processing programmed, processing problems, processing products
services computing » server computing, services computer, service computer
programs contract » programme contract, programs abstract, programs compact
contract nets » contract net, contract need, contract new
computing processing » computing proceeding, computing proceedings, computer processing
processing programs » processing programmed, processing problems, processing products
services computing » server computing, services computer, service computer
programs contract » programme contract, programs abstract, programs compact
contract nets » contract net, contract need, contract new
1
Publié 2010
Table des matières:
“... Service Planning -- Integrated Service Process Adaptation -- Contract Based, Non-invasive, Black-Box...”Accéder au texte intégral
Électronique
eBook
2
Publié 2005
Table des matières:
“... -- Toward a Programming Model for Service-Oriented Computing -- Speaking a Common Language: A Conceptual...”Accéder au texte intégral
Électronique
eBook
3
Publié 2014
Table des matières:
“... Private Key Generation by Composing Petri Nets -- Software Engineering with Petri Nets: A Web Service...”Accéder au texte intégral
Électronique
eBook
4
Publié 2006
Table des matières:
“... -- Computational Logic for Run-Time Verification of Web Services Choreographies: Exploiting the SOCS-SI Tool...”Accéder au texte intégral
Électronique
eBook
5
Publié 2005
Table des matières:
“...Research Papers -- Modeling and Analysis of Mobile Service Processes by Example of the Housing...”Accéder au texte intégral
Électronique
eBook
6
Publié 2006
Table des matières:
“... Basic Contract Language for Web Services -- Types for Dynamic Reconfiguration -- Size-Change Termination...”Accéder au texte intégral
Électronique
eBook
7
Publié 2008
Table des matières:
“... -- Algebraic Identification of MIMO SARX Models -- Contract-Based Design for Computation and Verification of a...”Accéder au texte intégral
Électronique
eBook
8
Publié 2005
Table des matières:
“... Production on the Grid -- High Throughput Computing for Spatial Information Processing (HIT-SIP) System...”Accéder au texte intégral
Électronique
eBook
9
10
Publié 2006
Table des matières:
“... -- Combining Answer Sets of Nonmonotonic Logic Programs -- Speculative Constraint Processing with Iterative...”Accéder au texte intégral
Électronique
eBook
11
Publié 2005
Table des matières:
“... Interpretations of Petri Nets -- Merged Processes — A New Condensed Representation of Petri Net Behaviour...”Accéder au texte intégral
Électronique
eBook
12
Publié 2007
Table des matières:
“... Operators in Stochastic Domains -- Competitive Contract Net Protocol -- Agent Oriented Methodology...”Accéder au texte intégral
Électronique
eBook
13
Publié 2005
Table des matières:
“... for Searching and Maintaining the Information Space -- Architecture of a Business Framework for the .NET...”Accéder au texte intégral
Électronique
eBook
14
Publié 2008
Table des matières:
“... Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms -- Computation Tree Regular Logic...”Accéder au texte intégral
Électronique
eBook
15
Publié 2014
Table des matières:
“... Contract-Based Design -- Verification of Markov Decision Processes Using Learning Algorithms -- Test...”Accéder au texte intégral
Électronique
eBook
16
Publié 2008
Table des matières:
“... Programming -- An Algebra for Features and Feature Composition -- Petri Nets Are Dioids -- Towards...”Accéder au texte intégral
Électronique
eBook
17
Publié 2010
Table des matières:
“...Invited Papers -- Automatic Requirement Extraction from Test Cases -- Code Contracts for .NET...”Accéder au texte intégral
Électronique
eBook
18
Publié 2007
Table des matières:
“... -- On the Efficient Computation of the Minimal Coverability Set for Petri Nets -- Analog/Mixed-Signal Circuit...”Accéder au texte intégral
Électronique
eBook
19
Publié 2008
Table des matières:
“... -- The ARTIST Project -- Causal Semantics for the Algebra of Connectors -- Multiple Viewpoint Contract-Based...”Accéder au texte intégral
Électronique
eBook
20
Publié 2014
Table des matières:
“...Approximations for Stochastic Graph Rewriting -- Computing Maximal Bisimulations -- Improving...”Accéder au texte intégral
Électronique
eBook