5451 search results - page 512 / 1091 » Typed Operational Semantics |
154
Voted
TASE
2008
IEEE
16 years 1 months ago
2008
IEEE
The WS-BPEL language has recently become a de facto standard for modeling Web-based business processes. One of its essential features is the fully programmable compensation mechan...
193
Voted
ICLP
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. We present a framework for the declarative diagnosis of nondeterministic timed concurrent constraint programs. We present a denotational semantics based on a (continuous)...
186
click to vote
WEBI
2007
Springer
16 years 28 days ago
2007
Springer
There is a critical need to design and develop tools tract away the fundamental complexity of XML-based Web services specifications and toolkits, and provide an elegant, intuitive...
189
click to vote
SAC
2006
ACM
16 years 24 days ago
2006
ACM
Collaborative filtering requires a centralized rating database. However, within a peer-to-peer network such a centralized database is not readily available. In this paper, we pro...
146
Voted
CONCUR
2005
Springer
16 years 11 days ago
2005
Springer
The focus of process calculi is interaction rather than computation, and for this very reason: (i) their operational semantics is conveniently expressed by labelled transition syst...