2379 search results - page 397 / 476 » Aspectizing Multi-agent Systems: From Architecture to Implem... |
101
click to vote
IPPS
1999
IEEE
15 years 5 months ago
1999
IEEE
This work implements and analyses a highway traffic flow simulation based on continuum modeling of traffic dynamics. A traffic-flow simulation was developed and mapped onto a para...
FMICS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. Symbolic state-space generators are notoriously hard to parallelise. However, the Saturation algorithm implemented in the SMART verification tool differs from other seque...
IJCV
1998
15 years 1 months ago
1998
In the course of designing an integrated system for locating the focus of expansion (FOE) from a sequence of images taken while a camera is translating, a variety of direct motion ...
136
click to vote
CONCURRENCY
2002
15 years 1 months ago
2002
-- The Legion Grid Portal is an interface to a grid system. Users interact with the portal, and hence a grid through an intuitive interface from which they can view files, submit a...
113
click to vote
CASES
2004
ACM
15 years 7 months ago
2004
ACM
+ With more applications being deployed on embedded platforms, software protection becomes increasingly important. This problem is crucial on embedded systems like financial transa...