10263 search results - page 129 / 2053 » From Use Cases to System Operation Specifications |
221
click to vote
NORDSEC
2009
Springer
15 years 11 months ago
2009
Springer
In this paper we introduce ContikiSec, a secure network layer for wireless sensor networks, designed for the Contiki Operating System. ContikiSec has a configurable design, providi...
166
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
ormation flow. A new event process abstraction defines lightweight, isolated contexts within a single process, allowing one process to act on behalf of multiple users while preve...
160
click to vote
AISC
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The same methodology is used to develop 3 different applications. We begin by using a very expressive, appropriate Domain Specific Language, to write down precise problem...
138
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
We survey the state-of-the-art in real-time operating systems (RTOSs) from the system synthesis point of view. RTOSs have a very long research history which provides important the...
170
click to vote
SADFE
2009
IEEE
16 years 1 months ago
2009
IEEE
Increasingly advances in file carving, memory analysis and network forensics requires the ability to identify the underlying type of a file given only a file fragment. Work to dat...