1014 search results - page 129 / 203 » ''What Is a Petri Net |
PERCOM
2006
ACM
16 years 9 days ago
2006
ACM
This paper addresses the problem of implementing an context model. First, the abstract context model is represented by a network of situations. Two different implementations for t...
90
Voted
ACSD
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract. Operating guidelines characterize correct interaction (e.g. deadlock freedom) with a service. They can be stored in a service registry. So far, they have been represented...
85
Voted
FOSSACS
2009
Springer
15 years 4 months ago
2009
Springer
Handshake protocols are asynchronous protocols that enforce several properties such as absence of transmission interference and insensitivity from delays of propagation on wires. W...
104
click to vote
SIMUTOOLS
2008
15 years 2 months ago
2008
We sketch the fundamental properties and features of Snoopy, a tool to model and execute (animate, simulate) hierarchical graph-based system descriptions. The tool comes along wit...
121
click to vote
JWSR
2007
15 years 18 days ago
2007
: A major challenge for Service–oriented Computing is how to discover and compose (Web) services to build complex applications. We present a matchmaking system that exploits both...