2838 search results - page 386 / 568 » Verifying Controlled Components |
DAC
2000
ACM
14 years 11 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...
VLSID
2001
IEEE
14 years 11 months ago
2001
IEEE
- Wireless distributed microsensor systems will enable fault tolerant monitoring and control of a variety of applications. Due to the large number of microsensor nodes that may be ...
CHI
2003
ACM
14 years 11 months ago
2003
ACM
FantasyA is a role-playing game where emotions are part of the game logic. SenToy is a tangible interface device [2], used to influence emotional behaviour in FantasyA. Players in...
SIGMOD
2003
ACM
14 years 11 months ago
2003
ACM
Our goal is to understand redo recovery. We define an installation graph of operations in an execution, an ordering significantly weaker than conflict ordering from concurrency co...
ICSE
2003
IEEE-ACM
14 years 11 months ago
2003
IEEE-ACM
In this paper we discuss an approach for simulating the behaviour of interactive software systems, before starting on any of the actual implementation, based on a model of the sys...