4209 search results - page 372 / 842 » Abstract Dialectical Frameworks |
171
click to vote
FCT
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We introduce a uniform framework for reasoning about infinitestate systems with unbounded control structures and unbounded data domains. Our framework is based on constr...
174
click to vote
FROCOS
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. We propose a new class of tree automata, called tree automata with normalization (TAN). This framework extends equational tree automata, and improved the results of them:...
178
click to vote
GTTSE
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. This tutorial explores the design space of heterogeneous synchronization, which is concerned with establishing consistency among artifacts that conform to different sche...
153
click to vote
HYBRID
2007
Springer
16 years 27 days ago
2007
Springer
Abstract. Testing is an important tool for validation of the system design and its implementation. Model-based test generation allows to systematically ascertain whether the system...
187
click to vote
LFCS
2007
Springer
16 years 26 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...