8644 search results - page 1599 / 1729 » On the Composition of Secure Systems |
193
click to vote
RTAS
2008
IEEE
16 years 26 days ago
2008
IEEE
The notion of resource reservation for obtaining real-time scheduling guarantees and enforcement of resource usage has gained strong support in recent years. However, much work on...
234
click to vote
OOPSLA
2007
Springer
16 years 19 days ago
2007
Springer
Developing a general component system for a statically typed, object-oriented language is a challenging design problem for two reasons. First, mutually recursive references across...
168
click to vote
SENSYS
2005
ACM
16 years 1 days ago
2005
ACM
MAX is a system that facilitates human-centric search of the physical world. It allows humans to search for and locate objects as and when they need it instead of organizing them ...
168
click to vote
FOSSACS
2005
Springer
16 years 16 hour ago
2005
Springer
Nominal calculi have been shown very effective to formally model a variety of computational phenomena. The models of nominal calculi have often infinite states, thus making model ...
140
click to vote
OOPSLA
2005
Springer
15 years 12 months ago
2005
Springer
An acceptability envelope is a region of imperfect but acceptable software systems surrounding a given perfect system. Explicitly targeting the acceptability envelope during devel...