2607 search results - page 481 / 522 » On the Architecture of System Verification Environments |
SIGOPS
2008
13 years 7 months ago
2008
Object based storage devices (OSDs) elevate the level of abstraction presented to clients, thereby permitting them to offer methods for managing, sharing, and securing information...
AI
1999
Springer
13 years 7 months ago
1999
Springer
RoboCup is an increasingly successful attempt to promote the full integration of AI and robotics research. The most prominent feature of RoboCup is that it provides the researcher...
SAC
2008
ACM
13 years 5 months ago
2008
ACM
The Service Oriented Architecture enables the development of flexible large scale-applications in open environments by dynamically combining Web services. Nevertheless, current te...
JUCS
2010
13 years 5 months ago
2010
: Developing Ambient Intelligence applications is a very complex task since it implies dealing with low-level software and hardware resources. The use of a middleware platform may ...
RAS
2010
13 years 5 months ago
2010
This article investigates fundamental issues in scaling autonomous personal robots towards open-ended sets of everyday manipulation tasks which involve high complexity and vague j...