2678 search results - page 534 / 536 » Operational Semantics of Transactions |
107
click to vote
JFP
2010
15 years 7 hour ago
2010
Transient faults that arise in large-scale software systems can often be repaired by re-executing the code in which they occur. Ascribing a meaningful semantics for safe re-execut...
146
click to vote
DOLAP
2010
ACM
14 years 11 months ago
2010
ACM
Inter-business collaborative contexts prefigure a distributed scenario where companies organize and coordinate themselves to develop common and shared opportunities. Traditional b...
131
click to vote
EMSOFT
2010
Springer
14 years 11 months ago
2010
Springer
Constructing correct distributed systems from their high-level models has always been a challenge and often subject to serious errors because of their non-deterministic and non-at...
126
click to vote
ICDE
2010
IEEE
14 years 11 months ago
2010
IEEE
Linked open data (LOD), as provided by a quickly growing number of sources constitutes a wealth of easily accessible information. However, this data is not easy to understand. It i...
101
click to vote
AMSTERDAM
2009
14 years 11 months ago
2009
The paper provides a compositional account of cumulative readings with non-increasing modified numerals (aka van Benthem's puzzle), e.g., Exactly three boys saw exactly five m...