1578 search results - page 223 / 316 » Self-healing systems - survey and synthesis |
DAC
1994
ACM
15 years 2 months 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...
103
click to vote
ECTEL
2007
Springer
15 years 1 months 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
14 years 12 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
14 years 11 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. ...
158
click to vote
AAIP
2009
14 years 11 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...