5634 search results - page 380 / 1127 » About Abstract Classes |
169
click to vote
CIA
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Effective deployment and utilisation of limited and constrained intelligence resources — including sensors and other sources — is seen as a key issue in modern multin...
163
click to vote
ESOP
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. This paper contributes a technique that expands the set of object invariants that one can reason about in modular verification. The technique uses history invariants, tw...
196
click to vote
ESORICS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
164
click to vote
FORMATS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. We present a systematic translation from timed models of genetic regulatory networks into products of timed automata to which one can apply verification tools in order l...
142
click to vote
GI
2007
Springer
16 years 25 days ago
2007
Springer
Abstract: In this paper we describe a network for distributing personalized Information within a pervasive University. We discuss the system architecture of our Bluetoothbased Camp...