1187 search results - page 88 / 238 » Computation in Extended Argumentation Frameworks |
110
click to vote
VLDB
1993
ACM
15 years 5 months ago
1993
ACM
Extensions of the traditional atomic transaction model are needed to support the development of multi-system applications or work ows that access heterogeneous databases and legac...
122
click to vote
UAI
2004
15 years 2 months ago
2004
Although many real-world stochastic planning problems are more naturally formulated by hybrid models with both discrete and continuous variables, current state-of-the-art methods ...
91
Voted
IANDC
2008
15 years 1 months ago
2008
We develop a behavioural theory of distributed programs in the presence of failures such as nodes crashing and links breaking. The framework we use is that of D, a language in whi...
FOSSACS
2005
Springer
15 years 7 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
132
click to vote
BERTINORO
2005
Springer
15 years 7 months ago
2005
Springer
We consider the problem of assigning transmission powers to the nodes of a wireless network in such a way that all the nodes are connected by bidirectional links and the total powe...