623 search results - page 90 / 125 » Adapting the UPPAAL Model of a Distributed Lift System |
140
click to vote
AH
2000
Springer
15 years 4 months ago
2000
Springer
The paper investigates the use of computational intelligence for adaptive lesson presentation in a Web-based learning environment. A specialized connectionist architecture is devel...
TODAES
2008
14 years 11 months ago
2008
The goal of dynamic power management is to reduce power dissipation in system level by putting system components into different states. This paper proposes a wavelet based approac...
WSC
2008
15 years 2 months ago
2008
This paper presents PiDES, a formalism for discrete event simulation based on Pi-calculus. PiDES provides a rigorous semantics of behavior modeling and coordination for simulation...
ISPA
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
112
click to vote
HOTNETS
2010
14 years 6 months ago
2010
There are a lot of applications that run on modern mobile operating systems. Inevitably, some of these applications fail in the hands of users. Diagnosing a failure to identify the...