2106 search results - page 184 / 422 » Specifying C concepts |
150
click to vote
POLICY
2001
Springer
15 years 9 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...
113
click to vote
DEXAW
2000
IEEE
15 years 9 months ago
2000
IEEE
In a combined negotiation in e-commerce, the user is interested in many goods or services and consequently engages in many negotiations at the same time. The negotiations are inde...
129
click to vote
DSN
2000
IEEE
15 years 9 months ago
2000
IEEE
Distributed applications can fail in subtle ways that depend on the state of multiple parts of a system. This complicates the validation of such systems via fault injection, since...
147
click to vote
MM
2000
ACM
15 years 9 months ago
2000
ACM
In this paper we present a generic late-join service for distributed interactive media, i.e., networked media which involve user interactions. Examples for distributed interactive...
144
click to vote
CCS
2000
ACM
15 years 8 months ago
2000
ACM
Conventional firewalls rely on topology restrictions and controlled network entry points to enforce traffic filtering. Furthermore, a firewall cannot filter traffic it does ...