523 search results - page 54 / 105 » A Formal Account of WS-BPEL |
IFM
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. Event-B is a notation and method for discrete systems modelling by refinement. We introduce a small but very useful construction: qualitative probabilistic choice. It ex...
DASFAA
2005
IEEE
15 years 3 months ago
2005
IEEE
Reducing the latency of information delivery in an event driven world has always been a challenge. It is often necessary to completely capture the attributes of events and relation...
INFOCOM
2005
IEEE
15 years 3 months ago
2005
IEEE
Abstract— Fluctuations in network conditions are a common phenomenon. They arise in the current wired Internet due to changes in demand, and in wireless networks due to changing ...
AI
2005
Springer
15 years 3 months ago
2005
Springer
This paper deals with the incremental off-line computation of diagnosis of discrete-event systems. Traditionally, the diagnosis is computed from the global automaton describing th...
AIIA
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...