4666 search results - page 118 / 934 » Equations on Timed Languages |
129
click to vote
ATAL
2004
Springer
15 years 10 months ago
2004
Springer
The process of pair partnership formation is an important infrastructure for many plausible MAS applications. Each agent evaluates potential partner agents, where each potential m...
141
click to vote
IAT
2003
IEEE
15 years 10 months ago
2003
IEEE
In grid computing, agent-based load balancing is one of the most important problems. In this paper, we present a macroscopic model to describe the dynamics of agent-based load bal...
162
click to vote
RP
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. We compare several languages for specifying Markovian population models such as queuing networks and chemical reaction networks. These languages —matrix descriptions, s...
144
click to vote
FORMATS
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
158
click to vote
CONCUR
2006
Springer
15 years 9 months ago
2006
Springer
Working in the context of a process-algebraic language for Probabilistic I/O Automata (PIOA), we study the notion of PIOA behavior equivalence by obtaining a complete axiomatizatio...