4814 search results - page 847 / 963 » Combining abstract interpreters |
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. In this paper we tackle the problem of coordinating multiple decentralised agents with continuous state variables. Specifically we propose a hybrid approach, which combin...
EMSOFT
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--Cyber-Physical Systems require distributed architectures to support safety critical real-time control. Kopetz' Time-Triggered Architectures (TTA) have been proposed ...
EUROSSC
2010
Springer
13 years 8 months ago
2010
Springer
Smart homes have a user centered design that makes human activity as the most important type of context to adapt the environment according to people's needs. Sensor systems th...
FPL
2010
Springer
13 years 8 months ago
2010
Springer
Abstract--Efficient storage in spatial processors is increasingly important as such devices get larger and support more concurrent operations. Unlike sequential processors that rel...
GAMESEC
2010
13 years 8 months ago
2010
Abstract. Many computer protection tools incorporate learning techniques that build mathematical models to capture the characteristics of system's activity and then check whet...