4209 search results - page 202 / 842 » Abstract Dialectical Frameworks |
149
click to vote
ICSOC
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. In this paper, we present the mechanisms needed for Byzantine fault tolerant coordination of Web services atomic transactions. The mechanisms have been incorporated into ...
165
click to vote
ISMIR
2005
Springer
15 years 12 months ago
2005
Springer
er is an extended abstract which provides a brief preliminary overview of the 2005 Music Information Retrieval Evaluation eXchange (MIREX 2005). The MIREX organizational framework...
159
click to vote
LPAR
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. The paper describes the formalization and implementation of an efficient constraint programming framework operating on 3D crystal lattices. The framework is motivated an...
158
click to vote
DALT
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Agent interaction protocols are usually specified in terms of permissible sequences of messages. This representation is, unfortunately, brittle and does not allow for ...
192
click to vote
IFIP
2004
Springer
15 years 12 months ago
2004
Springer
Abstract We introduce a generic framework for proof carrying code, developed and mechanically verified in Isabelle/HOL. The framework defines and proves sound a verification con...