10051 search results - page 345 / 2011 » A Dynamic Separator Algorithm |
177
click to vote
TRUSTBUS
2009
Springer
16 years 1 months ago
2009
Springer
DKAL is a new expressive high-level authorization language. It has been successfully tried at Microsoft which led to further improvements of the language itself. One improvement is...
201
click to vote
ESORICS
2007
Springer
16 years 1 months 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...
171
click to vote
BSN
2006
IEEE
16 years 29 days ago
2006
IEEE
Context-aware sensing is an integral part of the Body Sensor Network (BSN) design and it allows the understanding of intrinsic characteristics of the sensed signal and determinati...
149
click to vote
ECAL
2003
Springer
16 years 3 days ago
2003
Springer
In this paper we consider a multi-cellular sensing and communication network, embedded in an ageless aerospace vehicle, that is expected to detect and react to impact location, int...
164
click to vote
COMPSAC
1998
IEEE
15 years 11 months ago
1998
IEEE
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...