2757 search results - page 169 / 552 » On separating systems |
110
Voted
CCS
2010
ACM
15 years 3 months ago
2010
ACM
We address the problem of restricting root’s ability to change arbitrary files on disk, in order to prevent abuse on most current desktop operating systems. The approach first...
148
click to vote
DEXAW
2006
IEEE
15 years 10 months ago
2006
IEEE
Content in semantic web portals is often projected along application specific navigational taxonomies and linked semantically. This paper presents a logic-based method and a serv...
121
click to vote
NPAR
2004
ACM
15 years 10 months ago
2004
ACM
Creating a portrait in the style of a particular artistic tradition or a particular artist is a difficult problem. Elusive to codify algorithmically, the nebulous qualities which...
123
click to vote
AOSD
2003
ACM
15 years 9 months ago
2003
ACM
An effective requirements engineering (RE) approach must harmonise the need to achieve separation of concerns with the need to satisfy broadly scoped requirements and constraints....
218
click to vote
PLPV
2011
ACM
14 years 7 months ago
2011
ACM
Soundness proofs of program logics such as Hoare logics and type systems are often made easier by decorating the operational semantics with information that is useful in the proof...