4460 search results - page 256 / 892 » Formal methods for interactive systems |
132
click to vote
FMCAD
2006
Springer
15 years 9 months ago
2006
Springer
We introduce a finer concept of a Hardware Machine, where the set of post-reboot operation states is explicitly a part of the FSM definition. We formalize an ad-hoc flow of combin...
162
click to vote
ICFCA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. The “Semantic Mirrors Method” (Dyvik, 1998) is a means for automatic derivation of thesaurus entries from a word-aligned parallel corpus. The method is based on the c...
143
Voted
AUSAI
2009
Springer
16 years 23 days ago
2009
Springer
We extend a recent approach to integrate action formalisms and non-monotonic reasoning. The resulting framework allows an agent employing an action theory as internal world model t...
164
Voted
FORMATS
2004
Springer
15 years 10 months ago
2004
Springer
Davies and Wakerly show that Byzantine fault tolerance can be achieved by a cascade of broadcasts and middle value select functions. We present an extension of the Davies and Waker...
159
click to vote
FMCO
2006
Springer
15 years 9 months ago
2006
Springer
Testing application behavior in the presence of I/O failures is extremely difficult. The resources used for testing usually work without failure. Failures typically cannot be initi...