3557 search results - page 239 / 712 » The Dynamics of Mass Interaction |
199
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
We present a new approach to partial-order reduction for model checking software. This approach is based on initially exploring an arbitrary interleaving of the various concurrent...
108
click to vote
HICSS
2010
IEEE
15 years 7 months ago
2010
IEEE
In this paper we explore the interaction between a dynamic model of the power transmission system (OPA) and a simple economic model of power generation development. Despite the si...
81
Voted
ICALT
2008
IEEE
15 years 7 months ago
2008
IEEE
When using Learning Object Repositories, it is interesting to have mechanisms to select the more adequate objects for each student. For this kind of adaptation, it is important to...
94
Voted
ICNSC
2007
IEEE
15 years 7 months ago
2007
IEEE
– Unmanned ground vehicles are widely used in industries where repetitive tasks or high risk missions are required. Such vehicles usually operate on soft deformable terrains and ...
ATAL
2007
Springer
15 years 7 months ago
2007
Springer
This paper proposes dynamic semantics for agent communication languages (ACLs) as a method for tackling some of the fundamental problems associated with agent communication in ope...