2279 search results - page 257 / 456 » The Interaction of Architecture and Operating System Design |
152
click to vote
ATAL
2005
Springer
16 years 2 days ago
2005
Springer
We describe a Multi-Agent System (MAS) for controlling teams of uninhabited air vehicles (UAVs) in the context of a larger system that has been used to evaluate potential concepts...
167
click to vote
HRI
2012
ACM
14 years 2 months ago
2012
ACM
The advent of ROS, the Robot Operating System, has finally made it possible to implement and use state-of-the-art navigation and manipulation algorithms on widely-available, inex...
157
click to vote
VSTTE
2005
Springer
16 years 7 hour ago
2005
Springer
: Verifying design instead of code can be an effective and practical approach to obtaining verified software. This paper argues that proof scores are an attractive method for ver...
178
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Visual Software Circuit Board (VSCB) platform supports a component based development methodology towards the development of software systems. The circuit board design techniqu...
210
click to vote
DAC
2001
ACM
16 years 7 months ago
2001
ACM
Recently, the Internet revolutionized many activities from entertainment to marketing and business. Two key underlying Internet technologies, efficient data delivery and hypertext...