1454 search results - page 280 / 291 » Stateful traits and their formalization |
118
click to vote
ATVA
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. In this paper, we give an algorithm for fault-tolerant proactive leader election in asynchronous shared memory systems, and later its formal verification. Roughly speakin...
131
Voted
ECLIPSE
2005
ACM
15 years 2 months ago
2005
ACM
In this paper we detail the design and implementation of an Eclipse plug-in for an integrated, model-based approach, to the engineering of web service compositions. The plug-in al...
147
click to vote
ECOWS
2008
Springer
15 years 2 months ago
2008
Springer
Executable business process models build on the specification of process activities, their implemented business functions (e.g., Web services) and the control flow between these a...
95
Voted
DLT
2007
15 years 2 months ago
2007
Recently the duplication closure of words and languages has received much interest. We investigate a reversal of it: the duplication root reduces a word to a square-free one. After...
140
Voted
ECIR
2007
Springer
15 years 2 months ago
2007
Springer
Abstract. We present a framework that assesses relevance with respect to several relevance criteria, by combining the query-dependent and query-independent evidence indicating thes...