942 search results - page 139 / 189 » Interrupt Timed Automata |
144
Voted
IEEEICCI
2008
IEEE
15 years 10 months ago
2008
IEEE
—A new abstract model of computation, the computational manifold, provides a framework for approaching the problems of consciousness, awareness, cognition and symbolic processing...
143
Voted
STACS
2007
Springer
15 years 9 months ago
2007
Springer
Hybrid logics extend modal logics by first-order concepts, in particular they allow a limited use of variables. Unfortunately, in general, satisfiability for hybrid formulas is u...
124
Voted
FDL
2005
IEEE
15 years 9 months ago
2005
IEEE
In the field of real-time control applications, validation relies on a precise knowledge of the temporal characteristics of the used data such as delays and loss rates. These data...
125
Voted
ASIACRYPT
2005
Springer
15 years 9 months ago
2005
Springer
Stream cipher Hiji-Bij-Bij (HBB) was proposed by Sarkar at Indocrypt’03. This cipher uses cellular automata (CA). The algorithm has two modes: a basic mode (B) and a self-synchro...
142
Voted
EMSOFT
2005
Springer
15 years 9 months ago
2005
Springer
UPPAAL-TRON is a new tool for model based online black-box conformance testing of real-time embedded systems specified as timed automata. In this paper we present our experiences...