523 search results - page 53 / 105 » Online Testing of Real-time Systems Using Uppaal |
DCOSS
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
IWANN
2007
Springer
14 years 1 months ago
2007
Springer
Wireless sensor networks are being intensely used in health care environments to collect biometric signals from patients. This paper presents an augmented reality visual interface ...
SCAI
2008
13 years 9 months ago
2008
Reusing past experiences by reasoning from past cases poses particular problems when the input to case retrieval comes from large amounts of online data. Volve has developed a syst...
SEKE
2005
Springer
14 years 1 months ago
2005
Springer
Design combinatorial theory for test-case generation has been used successfully in the past. It is useful in optimizing test cases as it is practically impossible to exhaustively t...
SOFSEM
2007
Springer
14 years 1 months ago
2007
Springer
In the research area of automatic web information extraction, there is a need for permanent and annotated web page collections enabling objective performance evaluation of differen...