3555 search results - page 155 / 711 » Security-Critical System Development with Extended Use Cases |
109
click to vote
HYBRID
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose a new technique for verification by simulation of continuous and hybrid dynamical systems with uncertain initial conditions. We provide an algorithmic met...
128
click to vote
HPCN
1997
Springer
15 years 7 months ago
1997
Springer
This paper describes a distributed algorithm for Boolean function manipulation. The algorithm is based on Binary Decision Diagrams (BDDs), which are one of the most commonly used ...
109
click to vote
DSN
2009
IEEE
15 years 10 months ago
2009
IEEE
The use of mobile devices is limited by the battery lifetime. Some devices have the option to connect an extra battery, or to use smart battery-packs with multiple cells to extend...
140
click to vote
IAT
2006
IEEE
15 years 9 months ago
2006
IEEE
This paper introduces HealthAgents, an EC-funded research project to improve the classification of brain tumours through multi-agent decision support over a distributed network o...
145
click to vote
DSN
2003
IEEE
15 years 9 months ago
2003
IEEE
Energy constrained complex real-time systems are becoming increasingly important in defense, space, and consumer applications. In this paper, we present a sensible heuristic to ad...