6308 search results - page 456 / 1262 » Modeling Urgency in Timed Systems |
177
Voted
ICALP
2003
Springer
16 years 2 days ago
2003
Springer
Abstract. Hierarchical and recursive state machines are suitable abstract models for many software systems. In this paper we extend a model recently introduced in literature, by al...
176
Voted
IJON
2010
15 years 5 months ago
2010
Originally devoted to specific applications such as biology, medicine and demography, duration models are now widely used in economy, finance or reliability. Recent works in var...
172
Voted
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
194
Voted
TFS
2008
15 years 6 months ago
2008
When the time span of an event is imprecise, it can be represented by a fuzzy set, called a fuzzy time interval. In this paper, we propose a framework to represent, compute, and re...
170
Voted
SIGSOFT
2006
ACM
16 years 24 days ago
2006
ACM
Developers of distributed systems routinely construct discrete-event simulations to help understand and evaluate the behavior of inter-component protocols. Simulations are abstrac...