1060 search results - page 5 / 212 » Mechanized semantics |
124
click to vote
TGC
2010
Springer
14 years 7 months ago
2010
Springer
We propose a formal semantics for distributed transactions inspired by the attribute mechanisms of the Java Transaction API. Technically, we model services in a process calculus fe...
SEMWEB
2004
Springer
15 years 3 months ago
2004
Springer
A central theme of the semantic web is that programs should be able to easily aggregate data from different sources. Unfortunately, even if two sites provide their data using the ...
SCP
2008
14 years 9 months ago
2008
In [5] we build a formal verification technique for game based correctness proofs of cryptograhic algorithms based on a probabilistic Hoare style logic [10]. An important step towa...
ESWS
2009
Springer
15 years 4 months ago
2009
Springer
The increasing number of infrastructure services requires the existence of mechanisms to discover and select services and resources, called service broker, based on customer requir...
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
Compensation is an error recovery mechanism for long-running transactions. Compensating CSP is a variant of the CSP process algebra with constructs for orchestration of compensatio...