Sciweavers

5393 search results - page 679 / 1079
» Spatial Computing with Labels
Sort
View
SIES
2007
IEEE
16 years 1 months ago
A Timed Multitasking Architecture for Distributed Embedded Systems
— The paper presents a software architecture for Distributed Timed Multitasking - a new model of computation that can be used to engineer open, and the same time, predictable emb...
Christo Angelov, Jesper Berthing
AIMS
2007
Springer
16 years 1 months ago
RAQNet: A Topology-Aware Overlay Network
Peer-to-peer overlay networks provide a useful infrastructure for building distributed applications. These networks provide efficient and fault-tolerant routing and object locating...
Seyed Iman Mirrezaei, Javad Shahparian, Mohammad G...
FROCOS
2007
Springer
16 years 1 months ago
Combining Proof-Producing Decision Procedures
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
Silvio Ranise, Christophe Ringeissen, Duc-Khanh Tr...
LOCA
2007
Springer
16 years 1 months ago
The Whereabouts Diary
The user profile is one of the main context-information in a wide range of pervasive computing applications. Modern handheld devices provided with localization capabilities could a...
Gabriella Castelli, Marco Mamei, Alberto Rosi
155
Voted
MHCI
2007
Springer
16 years 1 months ago
Target selection on mobile devices using display segmentation
In this paper, we explore the use of an interaction technique called sequential segmentation to support target selection for mobile devices. Sequential segmentation iteratively pa...
David Dearman, Kori M. Inkpen, Khai N. Truong