1893 search results - page 212 / 379 » Computational composites |
110
Voted
SAC
2002
ACM
15 years 10 days ago
2002
ACM
In most of today's agent systems migration of agents requires homogeneity in the programming language and/or agent platform in which an agent has been designed. In this paper...
110
Voted
UPP
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Traditionally, autonomic computing is envisioned as replacing the human factor in the deployment, administration and maintenance of computer systems that are ever more co...
92
Voted
GI
2009
Springer
15 years 5 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
91
Voted
ERSHOV
2006
Springer
15 years 2 months ago
2006
Springer
We improve the decision procedure from [10] for the problem of generalized soundness of workflow nets. A workflow net is generalized sound iff every marking reachable from an initi...
118
Voted
BIRTHDAY
2006
Springer
15 years 4 months ago
2006
Springer
The paper presents an approach to reasoning about Web services in a temporal action theory. Web services are described by specifying their interaction protocols in an action theory...