3387 search results - page 431 / 678 » Model-Checking for Real-Time Systems |
198
Voted
RSP
2002
IEEE
16 years 8 days ago
2002
IEEE
This paper presents a rapid prototyping technique that focuses on transition management in hybrid systems. In particular, it integrates hybrid modeling and simulation (for specify...
202
Voted
IJRFITA
2007
15 years 7 months ago
2007
: 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...
174
click to vote
ISWC
2003
IEEE
16 years 19 days ago
2003
IEEE
This paper describes a wearable augmented reality system using positioning infrastructures and a pedometer. To realize augmented reality systems, the position and orientation of u...
234
Voted
ISSS
1995
IEEE
15 years 11 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
204
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
—We consider state feedback stabilization of uncertain linear systems with quantization. The plant uncertainty is dealt with by the supervisory control framework, which employs s...