427 search results - page 67 / 86 » Applying Aspect-Orientation in Designing Security Systems: A... |
FAC
2000
13 years 8 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
HF
2002
13 years 8 months ago
2002
This paper discusses a formal and rigorous approach to the analysis of operator interaction with machines. It addresses the acute problem of detecting design errors in human-machi...
ICSEA
2006
IEEE
14 years 2 months ago
2006
IEEE
In recent years component-based development has in resent years become an established approach. Component-based Software Engineering (CBSE) that deals with the entire lifecycle of ...
EICS
2009
ACM
14 years 1 months ago
2009
ACM
We describe work in progress on tools and infrastructure to support adaptive component-based software for mobile devices— in our case, Apple iPhones. Our high level aim is ‘de...
ALGOSENSORS
2007
Springer
13 years 10 months ago
2007
Springer
Abstract. In this paper, we present an Intrusion Detection System designed for wireless sensor networks and show how it can be configured to detect Sinkhole attacks. A Sinkhole at...