1686 search results - page 233 / 338 » Artful systems in the home |
MOBISYS
2010
ACM
14 years 16 days ago
2010
ACM
Docx2Go is a new framework to support editing of shared documents on mobile devices. Three high-level requirements influenced its design -- namely, the need to adapt content, espe...
GRID
2008
Springer
13 years 10 months ago
2008
Springer
Traditional resource management techniques (resource allocation, admission control and scheduling) have been found to be inadequate for many shared Grid and distributed systems th...
FUIN
2006
13 years 10 months ago
2006
Abstract. This paper describes an attempt to combine theorem proving and model-checking to formally verify real-time systems in a discrete time setting. The Timed Automata Modeling...
RITA
2006
13 years 10 months ago
2006
: Advances in data storage and image acquisition technologies have enabled the creation of large image datasets. In this scenario, it is necessary to develop appropriate informatio...
ICRA
2010
IEEE
13 years 8 months ago
2010
IEEE
— We consider the task of accurately controlling a complex system, such as autonomously sliding a car sideways into a parking spot. Although certain regions of this domain are ex...