505 search results - page 52 / 101 » Global Model Checking of Ordered Multi-Pushdown Systems |
108
click to vote
JGO
2011
14 years 2 months ago
2011
Abstract In many problems from different disciplines such as engineering, physics, medicine, and biology, a series of experimental data is used in order to generate a model that ca...
DASFAA
2005
IEEE
15 years 5 months ago
2005
IEEE
In many different application areas, e.g. space observation systems or engineering systems of world-wide operating companies, there is a need for an efficient distributed intersect...
ETFA
2005
IEEE
15 years 5 months ago
2005
IEEE
Global competition has given rise to Logistic and Production Systems (LPSs), that are distributed manufacturing systems integrating international logistics and information technol...
105
click to vote
ANSS
2002
IEEE
15 years 4 months ago
2002
IEEE
A Complex Adaptive System (CAS) is a network of communicating, intelligent agents where each agent adapts its behavior in order to collaborate with other agents to achieve overall...
PROMAS
2004
Springer
15 years 5 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....