1188 search results - page 37 / 238 » Testing Semantics: Connecting Processes and Process Logics |
112
Voted
TASE
2008
IEEE
15 years 10 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...
106
click to vote
ESWS
2007
Springer
15 years 10 months ago
2007
Springer
In this paper we propose an approach to semantic matchmaking that exploits various knowledge representation technologies to find most promising partners in peer-to-peer e-marketpl...
143
Voted
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Paper prototyping offers unique affordances for interface design. However, due to its spontaneous nature and the limitations of paper, it is difficult to distill and communicate a...
135
Voted
DLOG
2003
15 years 5 months ago
2003
In this short position paper, the project of building intelligent business information infrastructure using semantic web, ontology, description logics, and other related knowledge...
138
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...