14360 search results - page 286 / 2872 » Time Modeling in MARTE |
203
Voted
ICDE
2003
IEEE
16 years 2 months ago
2003
IEEE
We are interested in capturing time series generated by small wireless electronic sensors. Battery-operated sensors must avoid heavy use of their wireless radio which is a key cau...
FORMATS
2007
Springer
15 years 6 months ago
2007
Springer
Timed automata were introduced by Alur and Dill in the early 1990s and have since become the most prominent modelling formalism for real-time systems. A fundamental limit to the al...
100
Voted
IPPS
2002
IEEE
15 years 5 months ago
2002
IEEE
Researchers are currently investigating applying benefit, or utility functions for allocating resources in limited, soft real time systems [1,2,3]. While the future of real -time ...
SSD
2001
Springer
15 years 5 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
106
click to vote
FM
1999
Springer
15 years 4 months ago
1999
Springer
We present novel techniques for efficient controller synthesis for untimed and timed systems with respect to invariance and reachability properties. In the untimed case, we give al...