4209 search results - page 345 / 842 » Abstract Dialectical Frameworks |
192
Voted
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. Peer-oriented computing is an attempt to weave interconnected machines into the fabric of the Internet. Service-oriented computing (exemplified by web-services), on the ...
185
click to vote
CONCUR
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We apply the theory of asynchronous automata to the synthesis problem of closed distributed systems. We use safe asynchronous automata as implementation model, and charac...
170
click to vote
EMSOFT
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We propose a mathematical framework to deal with the composition of heterogeneous reactive systems. Our theory allows to establish theorems, from which design techniques ...
149
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
177
click to vote
ICANN
2003
Springer
15 years 12 months ago
2003
Springer
Abstract. The growth in amount of data available today has encouraged the development of effective data analysis methods to support human decision-making. Neuro-fuzzy computation ...