2944 search results - page 343 / 589 » On Well Quasi-orders on Languages |
169
click to vote
FDL
2005
IEEE
16 years 7 days ago
2005
IEEE
The development process of embedded systems is characterized by the cooperation of various domains: components of hardware and software have to be considered as well as components...
171
click to vote
SEFM
2005
IEEE
16 years 6 days ago
2005
IEEE
We present an interface theory based approach to static analysis of actor models. We first introduce a new interface theory, which is based on Interface Automata, and which is ca...
161
click to vote
CCIA
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating...
220
click to vote
ECSQARU
2005
Springer
16 years 5 days ago
2005
Springer
Possibilistic Defeasible Logic Programming (P-DeLP) is a logic programming language which combines features from argumentation theory and logic programming, incorporating as well t...
172
click to vote
FC
2005
Springer
16 years 5 days ago
2005
Springer
Two parties, say Alice and Bob, possess two sets of elements that belong to a universe of possible values and wish to test whether these sets are disjoint or not. In this paper we ...