339 search results - page 58 / 68 » Basic concepts of abstract interpretation |
165
click to vote
FUIN
2010
15 years 5 months ago
2010
Abstract. A (combinatorial) channel consists of pairs of words representing all possible inputoutput channel situations. In a past paper, we formalized the intuitive concept of “...
171
click to vote
TACAS
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Synthesis is the automated construction of a system from its specification. The system has to satisfy its specification in all possible environments. Modern systems oft...
171
click to vote
ECAI
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. In social mechanism design, obligation distribution creates individual or contractual obligations that imply a collective obligation. A distinguishing feature from group ...
191
click to vote
BMCBI
2008
15 years 6 months ago
2008
nd: Biological pathways are a useful abstraction of biological concepts, and software tools to deal with pathway diagrams can help biological research. PathVisio is a new visualiz...
161
click to vote
WDAG
2009
Springer
15 years 11 months ago
2009
Springer
This paper defines the basic notions of local and non-local tasks, and determines the minimum information about failures that is necessary to solve any non-local task in message-p...