Sciweavers

3812 search results - page 192 / 763
» Combinations of TRAP Based Systems
Sort
View
CAV
2008
Springer
130views Hardware» more  CAV 2008»
15 years 8 months ago
A Hybrid Type System for Lock-Freedom of Mobile Processes
We propose a type system for lock-freedom in the -calculus, which guarantees that certain communications will eventually succeed. Distinguishing features of our type system are: it...
Naoki Kobayashi, Davide Sangiorgi
IJRFITA
2007
205views more  IJRFITA 2007»
15 years 6 months ago
2D localisation using SAW-based RFID systems: a single antenna approach
: This paper presents a novel Real-Time Localisation System (RTLS) based upon 2.45 GHz Surface Acoustic Wave (SAW) Radio Frequency Identification (RFID) systems. The system utilise...
Darmindra D. Arumugam, Vijayakrishnan Ambravaneswa...
IJAHUC
2007
90views more  IJAHUC 2007»
15 years 6 months ago
A survey on context-aware systems
: Context-aware systems offer entirely new opportunities for application developers and for end users by gathering context data and adapting systems behaviour accordingly. Especial...
Matthias Baldauf, Schahram Dustdar, Florian Rosenb...
CDC
2010
IEEE
134views Control Systems» more  CDC 2010»
15 years 1 months ago
Observer design for Lipschitz systems with discrete-time measurements
In this paper, the authors investigate the problem of designing an observer for Lipschitz nonlinear systems with discrete time measurements (continuous-discrete time systems). The ...
Vincent Andrieu, Madiha Nadri
EUROPAR
2007
Springer
16 years 20 days ago
Analysis of a Kalman Approach for a Pedestrian Positioning System in Indoor Environments
In this work we present the design principles of a wearable positioning system for users in unprepared indoor environments. We describe the most suitable technology for our applica...
Edith Pulido Herrera, Ricardo Quirós, Hanne...