2607 search results - page 132 / 522 » On the Architecture of System Verification Environments |
140
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
This demonstration aims to show the decentralized coordination of the navigation system of highly autonomous Automated Guided Vehicles (AGVs) integrated in a real industrial envir...
174
click to vote
WOA
2007
15 years 7 months ago
2007
—This paper presents a framework supporting the definition and implementation of virtual environment inhabited by interacting situated agents defined according to the Multilayere...
165
click to vote
RTCSA
2007
IEEE
16 years 21 days ago
2007
IEEE
MB++ is a system that caters to the dynamic needs of applications in a distributed, pervasive computing environment that has a wide variety of devices that act as producers and co...
174
click to vote
P2P
2009
IEEE
16 years 1 months ago
2009
IEEE
—ModelNet is a network emulator designed for repeatable, large-scale experimentation with real networked systems. This talk introduces the ideas behind ModelNet that have made it...
165
click to vote
ATAL
2005
Springer
15 years 12 months ago
2005
Springer
This paper describes how cognitive modeling can be exploited in the design of software agents that support naval training sessions. The architecture, specifications, and embedding...