1098 search results - page 141 / 220 » System safety as an emergent property in composite systems |
SIGMOD
1995
ACM
14 years 12 days ago
1995
ACM
When querying a temporal database, a user often makes certain semantic assumptions on stored temporal data. This paper formalizes and studies two types of semantic assumptions: po...
FAC
2008
13 years 9 months ago
2008
Abstract. A fundamental method of analyzing a system such as a program or a circuit is invariance analysis, in which one proves that an assertion holds on all reachable states. Typ...
HICSS
2011
IEEE
13 years 18 days ago
2011
IEEE
We propose XTRec, a primitive that can record the instruction-level execution trace of a commodity computing system. Our primitive is resilient to compromise to provide integrity ...
CANDC
2009
ACM
14 years 3 months ago
2009
ACM
Expressive inquiry is a process of exploration and discovery within an artistic medium that supports both intuitive play and iterative experimentation. Glowdoodle is a system that...
ICSE
2010
IEEE-ACM
14 years 1 months ago
2010
IEEE-ACM
In software with emergent properties, despite the best efforts to remove faults before execution, there is a high likelihood that faults will occur during runtime. These faults c...