652 search results - page 82 / 131 » A simulation framework for service-oriented computing system... |
118
click to vote
QEST
2008
IEEE
15 years 8 months ago
2008
IEEE
In [3] a probabilistic semantics for timed automata has been defined in order to rule out unlikely (sequences of) events. The qualitative model-checking problem for LTL propertie...
153
click to vote
ICSOC
2004
Springer
15 years 7 months ago
2004
Springer
In this paper, we present an Open Grid Services Architecture (OGSA)-based decentralized allocation enforcement system, developed with an emphasis on a consistent data model and ea...
117
click to vote
EUC
2007
Springer
15 years 8 months ago
2007
Springer
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
105
click to vote
HPDC
2006
IEEE
15 years 8 months ago
2006
IEEE
As the size of distributed systems keeps growing, the peer to peer communication paradigm has been identified as the key to scalability. Peer to peer overlay networks are charact...
RTA
1993
Springer
15 years 6 months ago
1993
Springer
This paper studies completion in the case of equations with constraints consisting of rstorder formulae over equations, disequations, and an irreducibility predicate. We present s...