3169 search results - page 302 / 634 » Robust Timed Automata |
159
click to vote
CONCUR
2007
Springer
16 years 24 days ago
2007
Springer
We present a fixpoint-based algorithm for context-sensitive interprocedural kill/gen-analysis of programs with thread creation. Our algorithm is precise up to abstraction of sync...
170
click to vote
SAFECOMP
2007
Springer
16 years 22 days ago
2007
Springer
With the rapid progress in science and technology, we find ubiquitous use of safety-critical systems in avionics, consumer electronics, and medical instruments. In such systems, u...
140
click to vote
STACS
2007
Springer
16 years 22 days ago
2007
Springer
Abstract. We give a characterization, in terms of computational complexity, of the family Rec1 of the unary picture languages that are tiling recognizable. We introduce quasi-unary...
178
click to vote
SASN
2006
ACM
16 years 17 days ago
2006
ACM
Wireless sensor networks are typically deployed to measure the information field, rather than create an information field. However, by utilizing the radio on sensor nodes, it is...
167
click to vote
AINA
2005
IEEE
16 years 7 days ago
2005
IEEE
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...