2372 search results - page 179 / 475 » Probabilistic calling context |
135
Voted
ICECCS
2010
IEEE
15 years 2 months ago
2010
IEEE
—This paper presents a novel approach to the design of self-adaptive service-oriented applications based on a new model called service tiles. The approach allows designers to dev...
99
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Self-stabilization is an versatile approach to fault-tolerance since it permits a distributed system to recover from any transient fault that arbitrarily corrupts the contents of ...
DEDS
2008
15 years 2 months ago
2008
The paper addresses the problem of designing a component that combined with a known part of a system, called the context FSM, is a reduction of a given specification FSM. We study...
143
click to vote
ITSSA
2006
15 years 2 months ago
2006
: This paper investigates the feasibility of employing the Software Agent technology in the highly dynamic and variable context of healthcare emergency coordination and decision-su...
117
Voted
ENTCS
2002
15 years 2 months ago
2002
We describe a proof dedicated meta-language, called Ltac, in the context of the Coq proof assistant. This new layer of meta-language is quite appropriate to write small and local ...