6308 search results - page 2 / 1262 » Modeling Urgency in Timed Systems |
HICSS
2002
IEEE
13 years 11 months ago
2002
IEEE
We describe our real time decision support system; a system that supports information gathering and managing of an investment portfolio. Our system uses the Object Oriented Bayesi...
EUROMICRO
2009
IEEE
13 years 10 months ago
2009
IEEE
ProCom is a new component model for real-time and embedded systems, targeting the domains of vehicular and telecommunication systems. In this paper, we describe how the architectur...
SCS
2004
13 years 7 months ago
2004
Complex reactive real time systems are systems of systems that interact with the external world to perform selections of tasks in real time. They may be required to carry out sele...
ICASSP
2008
IEEE
14 years 19 days ago
2008
IEEE
We describe an experiment where listeners were asked to detect two specific forms of stress in talkers’ recorded voices heard via six different simulated communication systems. ...
ICFEM
2009
Springer
13 years 3 months ago
2009
Springer
Bounded timed-arc Petri nets with read-arcs were recently proven equivalent to networks of timed automata, though the Petri net model cannot express urgent behaviour and the descri...