1105 search results - page 79 / 221 » Timed Automata Model for Component-Based Real-Time Systems |
179
click to vote
RTSS
2009
IEEE
16 years 24 days 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...
170
click to vote
COOPIS
2002
IEEE
15 years 11 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...
149
click to vote
FORTE
2001
15 years 7 months ago
2001
The Algebra of Communicating Shared Resources (ACSR) is a timed process algebra which extends classical process algebras with the notion of a resource. It takes the view that the ...
164
click to vote
ECRTS
2003
IEEE
15 years 11 months ago
2003
IEEE
The memory model used in the Real-Time Specification for Java (RTSJ) imposes strict assignment rules to or from memory areas preventing the creation of dangling pointers, and thus...
157
click to vote
ICIP
2007
IEEE
16 years 7 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...