10038 search results - page 1819 / 2008 » Model Checking for Managers |
135
click to vote
METRICS
1999
IEEE
15 years 8 months ago
1999
IEEE
Success factors for measurement programs as identified in the literature typically focus on the `internals' of the measurement program: incremental implementation, support fr...
137
click to vote
IH
1999
Springer
15 years 8 months ago
1999
Springer
This paper summarizes considerations and rationales for the design of a watermark detector. In particular, we relate watermark detection to the problem of signal detection in the p...
132
click to vote
ICNP
1998
IEEE
15 years 8 months ago
1998
IEEE
Network applications require a certain level of network performance for their proper operation. These individual guarantees can be provided if su cient amounts of network resource...
128
click to vote
SP
1998
IEEE
15 years 8 months ago
1998
IEEE
Current implementations of Java make security decisions by searching the runtime call stack. These systems have attractive security properties, but they have been criticized as be...
135
click to vote
WETICE
1998
IEEE
15 years 8 months ago
1998
IEEE
We describe a system whose purpose is to explore the use of certificates for the distributed management of access rights for resources that have multiple, independent, and geograp...