882 search results - page 50 / 177 » Allowing State Changes in Specifications |
161
click to vote
MABS
2004
Springer
15 years 11 months ago
2004
Springer
The efficient simulation of multi-agent systems presents particular challenges which are not addressed by current parallel discrete event simulation (PDES) models and techniques. ...
181
click to vote
DSN
2003
IEEE
15 years 11 months ago
2003
IEEE
Arbitrary faults of a single node in a time-triggered architecture (TTA) bus topology system may cause error propagation to correct nodes and may lead to inconsistent system state...
152
click to vote
FAC
2002
15 years 6 months ago
2002
Parallel computers have not yet had the expected impact on mainstream computing. Parallelism adds a level of complexity to the programming task that makes it very error-prone. More...
190
click to vote
KR
2010
Springer
15 years 11 months ago
2010
Springer
This is a case-study in knowledge representation. We analyze the ‘one hundred prisoners and a lightbulb’ puzzle. In this puzzle it is relevant what the agents (prisoners) know...
156
click to vote
OOPSLA
2009
Springer
16 years 22 days ago
2009
Springer
Model transformations provide a powerful capability to automate model refinements. However, the use of model transformation languages may present challenges to those who are unfami...