1453 search results - page 178 / 291 » State and history in operating systems |
165
click to vote
CCS
2009
ACM
16 years 7 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
188
click to vote
OTM
2009
Springer
16 years 29 days ago
2009
Springer
Provenance, from the French word “provenir”, describes the lineage or history of a data entity. Provenance is critical information in scientific applications to verify experime...
171
click to vote
SIGSOFT
2006
ACM
16 years 11 days ago
2006
ACM
When working on a large software system, a programmer typically spends an inordinate amount of time sifting through thousands of artifacts to find just the subset of information n...
201
click to vote
CLIMA
2004
15 years 7 months ago
2004
Abstract. We introduce a logical framework suitable to formalize structures of epistemic agents. Such a framework is based on the notion of weighted directed acyclic graphs (WDAGs)...
152
click to vote
EMSOFT
2007
Springer
16 years 18 days ago
2007
Springer
Software components are modular and can enable post-deployment update, but their high overhead in runtime and memory is prohibitive for many embedded systems. This paper proposes ...