3750 search results - page 346 / 750 » Timed Automata Patterns |
177
click to vote
SAFECOMP
2007
Springer
16 years 28 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...
146
click to vote
STACS
2007
Springer
16 years 28 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...
193
click to vote
SASN
2006
ACM
16 years 23 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...
175
click to vote
AINA
2005
IEEE
16 years 13 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...
181
Voted
ICPADS
2005
IEEE
16 years 12 days ago
2005
IEEE
The evaluation of QoS requirements is one of the critical functions that span both the design and the run-time phases of QoS management. This paper presents an architecture for Qo...