83 search results - page 2 / 17 » The Sources of Certainty in Computation and Formal Systems |
FATES
2004
Springer
13 years 10 months ago
2004
Springer
A Time Action Lock is a state of a Real-time system at which neither time can progress nor an action can occur. Time Action Locks are often seen as signs of errors in the model or ...
IJISEC
2007
13 years 4 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
OSDI
1996
ACM
13 years 6 months ago
1996
ACM
This paper describes a mechanism by which an operating system kernel can determine with certainty that it is safe to execute a binary supplied by an untrusted source. The kernel r...
ICIDS
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. ENIGMA is an experimental platform for collaborative authoring of the behaviour of autonomous virtual characters in interactive narrative applications. The main objective...
COLING
2010
12 years 11 months ago
2010
There has been relatively little work focused on determining the formality level of individual lexical items. This study applies information from large mixedgenre corpora, demonst...