5599 search results - page 126 / 1120 » Abstract State Services |
BIOADIT
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. How can artificial or natural agents autonomously gain understanding of its own internal (sensory) state? This is an important question not just for physically embodied ...
120
Voted
CAV
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. The theme of this paper is certifying software for state estimation of dynamic systems, which is an important problem found in spacecraft, aircraft, geophysical, and in m...
101
Voted
EURODAC
1994
IEEE
15 years 6 months ago
1994
IEEE
Abstract -- A general framework for synthesis of asynchronous control circuits at the state graph level is proposed. The framework can consider both concurrency reduction as well a...
113
Voted
MODELS
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. Separation of Concerns (SoC) is an important issue to reduce the complexity of software. Recent advances in programming language research show that Aspect-Oriented Progra...
111
Voted
CRYPTO
2003
Springer
15 years 7 months ago
2003
Springer
Abstract. Cryptographic systems often involve running multiple concurrent instances of some protocol, where the instances have some amount of joint state and randomness. (Examples ...