8644 search results - page 157 / 1729 » On the Composition of Secure Systems |
166
click to vote
ADVIS
2004
Springer
15 years 12 months ago
2004
Springer
This paper introduces a new programming model for distributed systems, distributed composite objects (DCO), to meet efficient implementation, transparency, and performance demands ...
154
click to vote
HT
2003
ACM
15 years 12 months ago
2003
ACM
Tinderbox, a hypertext tool for making, analyzing, and sharing notes, explores the use of collage to build and share linked conceptual structures. Adopting a simple, regular data ...
167
click to vote
Publication
In contrast to sort-first, sort-last parallel rendering has the distinct advantage that the task division for parallel geometry processing and rasterization is simple, and can eas...
174
click to vote
DEDS
2007
15 years 6 months ago
2007
This paper presents a general framework for efficient synthesis of supervisors for discrete event systems. The approach is based on compositional minimisation, using concepts of p...
126
click to vote
CAISE
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Information systems are vulnerable to accidental or malicious attacks. Security models for commercial computer systems exist, but information systems security is often ig...