1573 search results - page 136 / 315 » Signs and Formal Concepts |
139
click to vote
AGTIVE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. Significant achievements have been made in the design and implementation of languages and tools for graph transformation systems. However, many other competing approaches...
114
click to vote
ARCS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract: We present a formal framework to talk and reason about dependable systems. The framework is based on three distinct classes of (system specification) properties we call s...
113
click to vote
ECAI
2006
Springer
15 years 5 months ago
2006
Springer
Existing approaches to knowledge representation and reasoning in the context of open systems either deal with "objective" knowledge or with beliefs. In contrast, there ha...
122
click to vote
EDO
2006
Springer
15 years 5 months ago
2006
Springer
Businesses increasingly provide and use services, applying formal (Web) services technology for the description, composition, and management of software as services. At the same t...
FMCAD
2006
Springer
15 years 5 months ago
2006
Springer
In this paper, a new heuristic-based approach is introduced to extract minimally unsatisfiable subformulas (in short, MUSes) of SAT instances. It is shown that it often outperforms...