423 search results - page 34 / 85 » The Generalization of Generalized Automata: Expression Autom... |
CAV
2008
Springer
13 years 10 months ago
2008
Springer
Requirements of reactive systems are usually specified by classifying system executions as desirable and undesirable. To specify prioritized requirements, we propose to associate a...
SASO
2008
IEEE
14 years 3 months ago
2008
IEEE
We propose a self-organizing sleep-wake sensor system that is scalable, easily implemented, and energy conserving. An application of concepts from cellular automata theory account...
GPCE
2007
Springer
14 years 2 months ago
2007
Springer
In this paper, we propose a domain-specific aspect language to prevent the denials of service caused by resource management. Our aspects specify availability policies by enforcin...
CAV
2003
Springer
14 years 1 months ago
2003
Springer
The paper considers the problem of checking abstraction between two finite-state fair discrete systems (FDS). In automata-theoretic terms this is trace inclusion between two nond...
TIT
2008
13 years 8 months ago
2008
This article describes new theoretical results concerning the general behavior of a Feedback with Carry Shift Register (FCSR) automaton. They help to better understand how the init...