1980 search results - page 133 / 396 » Compositional Model Checking of Real Time Systems |
115
click to vote
ICIP
2007
IEEE
16 years 3 months ago
2007
IEEE
In this paper, we present a system that enhances the visualization of customized sports shoes using augmented reality techniques. Instead of viewing yourself in a real mirror, sop...
104
click to vote
CSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Duplicating the full dynamic capabilities of the human eye-brain combination is a difficult task but an important goal because of the wide application that a system which can acqu...
126
click to vote
ENTCS
2008
15 years 1 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
126
Voted
RTSS
2009
IEEE
15 years 8 months ago
2009
IEEE
—Real-time detection is an important requirement of many mission-critical wireless sensor network applications such as battlefield monitoring and security surveillance. Due to t...
113
click to vote
COOPIS
2002
IEEE
15 years 6 months ago
2002
IEEE
Mobile services offering multi-feature query capabilities must meet tough response time requirements to gain customer acceptance. The top-k query model is a popular candidate to im...