8658 search results - page 1302 / 1732 » Models of Command and Control |
175
click to vote
MABS
2000
Springer
15 years 10 months ago
2000
Springer
Multi Agent Based Simulation (MABS) has been used mostly in purely social contexts. However, compared to other approaches, e.g., traditional discrete event simulation, object-orien...
154
click to vote
SAFECOMP
2000
Springer
15 years 10 months ago
2000
Springer
Increasingly, the dependability of vehicle based programmable systems is becoming a key feature in ensuring the safety of those in and around the vehicle. The goal of those respons...
209
click to vote
CAISE
1995
Springer
15 years 10 months ago
1995
Springer
In this work we discuss a number of issues for the design of hypertext systems in an actor-based model of computation. We examine how the "traditional" basic concepts whi...
175
click to vote
ZUM
2000
Springer
15 years 10 months ago
2000
Springer
The B-Method is a state-based formal method that describes behaviour in terms of MACHINES whose states change under OPERATIONS. The process algebra CSP is an event-based formalism ...
161
click to vote
ICCAD
1995
IEEE
15 years 10 months ago
1995
IEEE
: We study the minimum-cost bounded-skew routing tree problem under the Elmore delay model. We presenttwo approachesto construct bounded-skew routing trees: (i) the Boundary Mergin...