523 search results - page 81 / 105 » Online Testing of Real-time Systems Using Uppaal |
CHI
2010
ACM
14 years 2 months ago
2010
ACM
In this paper, we explore the use of an Eco-Driving System [1] to see how the system promotes greener driving behavior. We conducted both an online survey (N=60) and a user test (...
CJ
2004
13 years 7 months ago
2004
This paper describes a way to manage the modeling and analysis of Scheduled Maintenance Systems (SMS) within an analytically tractable context. We chose a significant case study h...
CIKM
2010
Springer
13 years 6 months ago
2010
Springer
In this demonstration we present the Brown Dwarf, a distributed system designed to efficiently store, query and update multidimensional data. Deployed on any number of commodity ...
HUC
2005
Springer
14 years 1 months ago
2005
Springer
We describe the results of a field deployment of the AURA system which links online content to physical objects through machine readable tags. AURA runs on commercially available p...
ICASSP
2011
IEEE
12 years 11 months ago
2011
IEEE
In this paper, we propose a novel algorithm to detect/compensate online interference effects when integrating Global Navigation Satellite System (GNSS) and Inertial Navigation Sys...