9931 search results - page 1719 / 1987 » Generative Modeling by PRISM |
138
Voted
SP
1998
IEEE
15 years 9 months ago
1998
IEEE
A strand is a sequence of events; it represents either the execution of legitimate party in a security protocol or else a sequence of actions by a penetrator. A strand space is a ...
134
click to vote
SP
1998
IEEE
15 years 9 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...
142
Voted
WETICE
1998
IEEE
15 years 9 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...
123
click to vote
ER
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. Database applications are frequently faced with the necessity of representing time varying information and, particularly in the management of information systems, a few k...
154
click to vote
ESOP
1998
Springer
15 years 9 months ago
1998
Springer
Abstract. In the eld of reactive system programming, data ow synchronous languages like Lustre BCH+85,CHPP87 or Signal GBBG85 o er a syntax similar to block-diagrams, and can be e ...