Sciweavers

9210 search results - page 1522 / 1842
» Analyzing Real-Time Systems
Sort
View
OTM
2007
Springer
15 years 11 months ago
Understanding the Occurrence of Errors in Process Models Based on Metrics
Abstract. Business process models play an important role for the management, design, and improvement of process organizations and processaware information systems. Despite the exte...
Jan Mendling, Gustaf Neumann, Wil M. P. van der Aa...
PERVASIVE
2007
Springer
15 years 11 months ago
Towards Designing Persuasive Ambient Visualization
This paper discusses an alternative application area for ambient information systems, coined as ‘persuasive visualization’. It investigates the recent evolution of ambient dis...
Andrew Vande Moere
SAMOS
2007
Springer
15 years 11 months ago
Automated Power Gating of Registers Using CoDeL and FSM Branch Prediction
In this paper, we use the CoDeL hardware design platform to analyze the potential and performance impact of power gating individual registers. For each register, we examine the per...
Nainesh Agarwal, Nikitas J. Dimopoulos
100
Voted
SSS
2007
Springer
15 years 11 months ago
Stabilization of Flood Sequencing Protocols in Sensor Networks
Flood is a communication primitive that can be used by the base station of a sensor network to send a copy of a message to every sensor in the network. When a sensor receives a fl...
Young-ri Choi, Mohamed G. Gouda
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 11 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
« Prev « First page 1522 / 1842 Last » Next »