4434 search results - page 705 / 887 » On the Composition of Hybrid Systems |
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...
149
click to vote
UIST
2000
ACM
15 years 11 months ago
2000
ACM
Traditionally, designers organize software system as active end-points (e.g. applications) linked by passive infrastructures (e.g. networks). Increasingly, however, networks and i...
161
click to vote
CSFW
1999
IEEE
15 years 11 months ago
1999
IEEE
The information security community has long debated the exact definition of the term `security'. Even if we focus on the more modest notion of confidentiality the precise def...
197
click to vote
CVPR
1998
IEEE
15 years 10 months ago
1998
IEEE
Image mosaics are useful for a variety of tasks in vision and computer graphics. A particularly convenient way to generate mosaics is by `stitching' together many ordinary ph...
169
click to vote
ICDCS
1996
IEEE
15 years 10 months ago
1996
IEEE
We introduce a shared memory software prototype system for executing programs with nested parallelism on a network of workstations. This programming model exhibits a very convenie...