805 search results - page 134 / 161 » On the Semantics of Conditional Commitment |
215
Voted
FORMATS
2003
Springer
16 years 19 days ago
2003
Springer
Probabilistic timed automata, a variant of timed automata extended with discrete probability distributions, is a specification formalism suitable for describing both nondeterminis...
200
Voted
DATE
2010
IEEE
16 years 15 days ago
2010
IEEE
— In this paper we present a cross-domain application for ambient and health monitoring. The system architecture is intended to be openly extensible in order to fulfil unanticipa...
218
Voted
SARA
2009
Springer
15 years 12 months ago
2009
Springer
An important challenge in constraint programming is to rewrite constraint models into executable programs calculating the solutions. This phase of constraint processing may requir...
217
click to vote
SEMWEB
2009
Springer
15 years 12 months ago
2009
Springer
Due to significant improvements in the capabilities of small devices such as PDAs and smart phones, these devices can not only consume but also provide Web Services. The dynamic n...
170
click to vote
HOTOS
1999
IEEE
15 years 11 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...