5183 search results - page 807 / 1037 » The Complexity of Distributions |
184
click to vote
POLICY
2001
Springer
15 years 11 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
153
click to vote
SPIN
2001
Springer
15 years 11 months ago
2001
Springer
Abstract. Model checking real programs has recently become an active research area. Programs however exhibit two characteristics that make model checking di cult: the complexity of...
161
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
of modelling abstractions to map from items in the real-world to objects in the computational domain is oth for the effective implementation of abstract problem solutions and for ...
156
click to vote
ISPD
2000
ACM
15 years 11 months ago
2000
ACM
We address the problem of computing critical area for missing material defects in a circuit layout. The extraction of critical area is the main computational problem in VLSI yield...
168
click to vote
SAC
2000
ACM
15 years 11 months ago
2000
ACM
Since 1990 the Web has changed from a distributed hypertext system to an efficient environment for application delivery. Due to the legacy of the Web implementation model the deve...