454 search results - page 35 / 91 » Modeling and analysis of multi-agent systems using petri net... |
134
click to vote
GCC
2003
Springer
15 years 7 months ago
2003
Springer
Cooperative computing is becoming inevitable with the emerging of service-oriented computing and GRID becoming a ubiquitous computing resource. It is widely recognized that agent t...
121
click to vote
ENTCS
2008
15 years 2 months ago
2008
Petri nets are a formalism for modelling and validating critical systems. Generally, the approach to specification starts from an abstract view of the system under study. Once val...
113
click to vote
MASCOTS
2003
15 years 3 months ago
2003
Abstract. Software systems are today one of the most complex artifacts, they are simultaneously used by hundred-thousand of people sometimes in risk real time operations, such as a...
114
click to vote
DATE
1998
IEEE
15 years 6 months ago
1998
IEEE
Petri nets are a graph-based formalism appropriate to model concurrentsystems such as asynchronouscircuits or network protocols. Symbolic techniques based on Binary Decision Diagr...
182
click to vote
DDEP
2000
Springer
15 years 6 months ago
2000
Springer
As mobile computing becomes widespread, so will the need for digital document delivery by hypertextual means. A further trend will be the provision of the ability for devices to de...