297 search results - page 42 / 60 » Validation of an agent based system using Petri Nets |
118
Voted
MMS
2000
15 years 5 days ago
2000
An admission control algorithm for a multimedia server is responsible for determining if a new request can be accepted without violating the Quality of Service (QoS) requirements o...
103
click to vote
CAISE
2001
Springer
15 years 4 months ago
2001
Springer
Business processes play a central role in the reorganization of a company and the (re)design of the respective information system(s). Typically the processes are described with the...
104
click to vote
HYBRID
2010
Springer
15 years 5 months ago
2010
Springer
NetSketch is a tool for the specification of constrained-flow applications and the certification of desirable safety properties imposed thereon. NetSketch assists system integr...
126
Voted
CIIA
2009
14 years 10 months ago
2009
The workflow process is often executed in a dynamic environment. This dynamic is classified in several aspects. For this reason, several researches try to give workflow architectur...
104
Voted
AOSE
2004
Springer
15 years 5 months ago
2004
Springer
While there are many useful models of agents and multi-agent systems, they are typically defined in an informal way and applied in an ad-hoc fashion. Consequently, multi-agent sys...