20126 search results - page 9 / 4026 » Timed Transition Systems |
100
Voted
CADE
2005
Springer
16 years 22 days ago
2005
Springer
Abstract. We investigate the computational behaviour of `two-dimensional' propositional temporal logics over (N, <) (with and without the next-time operator ?) that are cap...
104
Voted
SOFSEM
2007
Springer
15 years 6 months ago
2007
Springer
Digital technology is increasingly deployed in safety-critical situations. This calls for systematic design and verification methodologies that can cope with three major sources o...
108
Voted
QEST
2009
IEEE
15 years 7 months ago
2009
IEEE
—In this paper we consider Quasi-Birth-and-Death (QBD) processes where the upward (resp. downward) transitions are restricted to occur only from (resp. to) a subset of the phase ...
104
Voted
JUCS
2008
15 years 12 days ago
2008
Abstract: Nowadays, more and more users make use of web-based collaborative systems. Users participate in communities or search for and provide information in webbased systems. The...
133
Voted
ECRTS
2010
IEEE
15 years 1 months ago
2010
IEEE
Energy conservation is an important issue in the design of embedded systems. Dynamic Voltage Scaling (DVS) and Dynamic Power Management (DPM) are two widely used techniques for sav...