382 search results - page 48 / 77 » Simulating a Finite State Mobile Agent System |
116
click to vote
ICSE
2003
IEEE-ACM
16 years 4 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
140
click to vote
ATAL
2005
Springer
15 years 9 months ago
2005
Springer
A directed agent implies an agent with high constraints in both recognition and motion. Because of the embodied restrictions, the directed agent perceives a sense of subjective di...
172
click to vote
FLAIRS
2000
15 years 5 months ago
2000
Today's driving simulators are used in vehicle research and design as well as in training. However, most simulators are not convincing because the degree of realism is not ad...
169
click to vote
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
The scarcity and large fluctuations of link bandwidth in wireless networks have motivated the development of adaptive multimedia services in mobile communication networks, where i...
123
click to vote
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
The implementation of software systems with large numbers of heterogeneous components calls for a powerful design methodology. Although several such methodologies have been propos...