509 search results - page 60 / 102 » A Model-Driven Based Environment for Automatic Model Coordin... |
VEE
2006
ACM
14 years 4 months ago
2006
ACM
The Pi-calculus is a formalism to model and reason about highly concurrent and dynamic systems. Most of the expressive power of the language comes from the ability to pass communi...
ICONS
2009
IEEE
14 years 5 months ago
2009
IEEE
Most recent software related accidents have been system accidents. To validate the absence of system hazards concerning dysfunctional interactions, industrials call for approaches...
CAISE
2005
Springer
14 years 4 months ago
2005
Springer
Coupling of cross-organizational business processes in electronic markets is a difficult and time-consuming task. In practice business processes are geographically distributed whic...
JOT
2008
13 years 10 months ago
2008
In this paper, we discuss various aspects of the design, implementation, and use of JAPROSIM which is a general purpose discrete event simulation framework based on the Java progr...
AAAI
1994
14 years 4 days ago
1994
To coordinate with other agents in its environment, an agent needs models of what the other agents are trying to do. When communication is impossible or expensive, this informatio...