Sciweavers

443 search results - page 74 / 89
» The logic of events
Sort
View
ISQED
2008
IEEE
186views Hardware» more  ISQED 2008»
14 years 2 months ago
Reliability-Aware Optimization for DVS-Enabled Real-Time Embedded Systems
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...
Foad Dabiri, Navid Amini, Mahsan Rofouei, Majid Sa...
TIME
2008
IEEE
14 years 2 months ago
Representing Public Transport Schedules as Repeating Trips
The movement in public transport networks is organized according to schedules. The real-world schedules are specified by a set of periodic rules and a number of irregularities fr...
Romans Kasperovics, Michael H. Böhlen, Johann...
LICS
2007
IEEE
14 years 1 months ago
Limits of Multi-Discounted Markov Decision Processes
Markov decision processes (MDPs) are controllable discrete event systems with stochastic transitions. The payoff received by the controller can be evaluated in different ways, dep...
Hugo Gimbert, Wieslaw Zielonka
BPM
2007
Springer
168views Business» more  BPM 2007»
14 years 1 months ago
Modeling Control Objectives for Business Process Compliance
Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasin...
Shazia Wasim Sadiq, Guido Governatori, Kioumars Na...
ICWE
2007
Springer
14 years 1 months ago
Active Rules for Runtime Adaptivity Management
The trend over the last years clearly shows that modern Web development is evolving from traditional, HTML-based Web sites to fullfledged, complex Web applications, also equipped ...
Florian Daniel, Maristella Matera, Alessandro Mora...