1578 search results - page 223 / 316 » Self-healing systems - survey and synthesis |
DAC
1994
ACM
14 years 8 days ago
1994
ACM
We address the problem of obtaining good variable orderings for the BDD representation of a system of interacting finite state machines (FSMs). Orderings are derived from the comm...
ECTEL
2007
Springer
14 years 3 days ago
2007
Springer
Currently, large amounts of research exist into the design and implementation of adaptive systems. The complex task of authoring of such systems, or their evaluation, is addressed ...
ASIAMS
2008
IEEE
13 years 10 months ago
2008
IEEE
Multicriteria analysis can be incorporated as a method to model preferences and facilitate decision making within a group of decision makers. In this paper we present a Group Deci...
EACL
1989
ACL Anthology
13 years 9 months ago
1989
ACL Anthology
The paper proposes a paradigmatic approach to morphological knowledge acquisition. It addresses the problem of learning from examples rules for word-forms analysis and synthesis. ...
AAIP
2009
13 years 9 months ago
2009
This paper describes our efforts and solutions in porting our IP system IGOR 2 from the termrewriting language MAUDE to HASKELL. We describe how, for our purpose necessary feature...