8644 search results - page 405 / 1729 » On the Composition of Secure Systems |
172
click to vote
CALCO
2007
Springer
16 years 1 months ago
2007
Springer
We motivate and present a logical semantic approach to types for concurrency and to the soundness of related systems. The approach is illustrated by the development of a generic ty...
181
click to vote
VL
2005
IEEE
16 years 1 months ago
2005
IEEE
We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...
181
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
In this paper we present a structured methodology for evaluating cost of responses based on three factors: the response operational cost associated with the daily maintenance of t...
187
click to vote
DISCEX
2003
IEEE
16 years 27 days ago
2003
IEEE
The MYSEA project has produced an innovative architecture and corrresponding engineering prototype consisting of trusted security services and integrated operating system mechanis...
225
click to vote
USENIX
1994
15 years 9 months ago
1994
This paper describes the architecture and implementation of a mobile IP system. It allows mobile hosts to roam between cells implemented with 2-Mbps radio base stations, while mai...