211 search results - page 25 / 43 » Automated Mapping from Goal Models to Self-Adaptive Systems |
132
Voted
ICECCS
2009
IEEE
15 years 8 months ago
2009
IEEE
Distributed information systems are critical to the functioning of many businesses; designing them to be dependable is a challenging but important task. We report our experience i...
106
click to vote
NAACL
2003
15 years 3 months ago
2003
This paper describes a novel multi-stage recognition procedure for deducing the spelling and pronunciation of an open set of names. The overall goal is the automatic acquisition o...
237
click to vote
ICLP
2009
Springer
16 years 2 months ago
2009
Springer
As a novel, grand AI challenge, General Game Playing is concerned with the development of systems that understand the rules of unknown games and play these games well without human...
102
Voted
ICFEM
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We present a correctness proof for a basic file system implementation. This implementation contains key elements of standard Unix file systems such as inodes and fixed...
127
Voted
DAC
1999
ACM
15 years 6 months ago
1999
ACM
IPCHINOOK is a design tool for distributed embedded systems. It gains leverage from the use of a carefully chosen set of design ions that raise the level of designer interaction d...