799 search results - page 133 / 160 » A Logic for Abstract State Machines |
ARVLSI
1997
IEEE
15 years 1 months ago
1997
IEEE
This paper describes the architecture and implementation of a high-speed decompression engine for embedded processors. The engine is targeted to processors where embedded programs...
78
Voted
INTERNET
2007
14 years 9 months ago
2007
evel of abstraction, we can represent a workflow as a directed graph with operators (or tasks) at the vertices (see Figure 1). Each operator takes inputs from data sources or from ...
CSFW
2008
IEEE
15 years 4 months ago
2008
IEEE
Abstract. The focus of work on information flow security has primarily been on definitions of security in asynchronous systems models. This paper considers systems with scheduler...
SIGCOMM
1991
ACM
15 years 1 months ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...
CCS
2008
ACM
14 years 11 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...