1453 search results - page 1 / 291 » State and history in operating systems |
CORR
2008
Springer
13 years 4 months ago
2008
Springer
AMAST
2000
Springer
13 years 9 months ago
2000
Springer
The behavior of reactive systems is typically speci ed by state machines. This results in an operational description of how a system its output. An alternative and more abstract ap...
SOSP
2005
ACM
14 years 1 months ago
2005
ACM
We present a method for automatically extracting from a running system an indexable signature that distills the essential characteristic from a system state and that can be subjec...
EPIA
2009
Springer
13 years 11 months ago
2009
Springer
Logic Programming Update Languages were proposed as an extension of logic programming that allows modeling the dynamics of knowledge bases where both extensional (facts) and intent...
CORR
2002
Springer
13 years 4 months ago
2002
Springer
A secure timeline is a tamper-evident historic record of the states through which a system goes throughout its operational history. Secure timelines can help us reason about the t...