8 search results - page 1 / 2 » A Generic Framework for Reasoning About Dynamic Networks of ... |
TACAS
2007
Springer
13 years 11 months ago
2007
Springer
FCT
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
EUROSSC
2006
Springer
13 years 8 months ago
2006
Springer
Abstract. This paper presents a surveillance system for tracking multiple people through a wide area with sparsely distributed cameras. The computational core of the system is an a...
COMPUTER
2004
13 years 4 months ago
2004
The growth of ubiquitous computing has given rise to a range of possibilities for context-based application development. Technologies for mobile computing and context-awareness can...
WORM
2003
13 years 6 months ago
2003
We present a general framework for reasoning about network worms and analyzing the potency of worms within a specific network. First, we present a discussion of the life cycle of ...