7778 search results - page 249 / 1556 » Designing Controllers for Reachability |
137
click to vote
ICES
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. Evolvable Hardware (EHW) has been proposed as a new method for designing systems for real-world applications. In this paper it is applied for evolving a prosthetic hand c...
120
click to vote
MMB
2001
Springer
15 years 8 months ago
2001
Springer
E-business workloads are quite complex as demonstrated by the hierarchical workload characterization discussed here. While these features may pose challenges to performance model ...
110
click to vote
ASYNC
2001
IEEE
15 years 8 months ago
2001
IEEE
The GasP family of asynchronous circuits provides controls for simple pipelines, for branching and joining pipelines, for round-robin scatter and gather, for datadependent scatter...
131
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
We present EON, a logic-programming language and tool that can be used to model and analyze dynamic access control systems. Our language extends Datalog with some carefully design...
111
click to vote
DEON
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. In this paper we investigate the design space of access control logics. Specifically, we consider several possible axioms for the common operator says. Some of the axioms...