297 search results - page 42 / 60 » Validation of an agent based system using Petri Nets |
MMS
2000
14 years 10 months 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...
CAISE
2001
Springer
15 years 3 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...
HYBRID
2010
Springer
15 years 3 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...
103
click to vote
CIIA
2009
14 years 8 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...
AOSE
2004
Springer
15 years 4 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...