523 search results - page 94 / 105 » Online Testing of Real-time Systems Using Uppaal |
ICRA
2008
IEEE
14 years 2 months ago
2008
IEEE
— For a mobile robot that interacts with humans such as a home assistant or a tour guide robot, tracking a particular person among multiple persons is a fundamental, yet challeng...
ENTCS
2006
13 years 7 months ago
2006
We propose a formal method to validate the reliability of a web application, by modeling interactions among its constituent objects. Modeling exploits the recent "Multiple Le...
SAC
2011
ACM
12 years 10 months ago
2011
ACM
Wikipedia’s article discussion spaces (“Talk pages”) form a large and growing proportion of the encyclopedia, used for collaboration and article improvement. So far there is...
JDWM
2006
13 years 7 months ago
2006
Navigating through multidimensional data cubes is a nontrivial task. Although On-Line Analytical Processing (OLAP) provides the capability to view multidimensional data through ro...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
The software codec on mobile device introduces significant power consumption because the energy efficiency of general processor based system is much lower than that of the dedicat...