1746 search results - page 32 / 350 » A Constructive Semantics for ALC |
160
Voted
WDAG
2010
Springer
14 years 11 months ago
2010
Springer
The imminent arrival of best-effort transactional hardware has spurred new interest in the construction of nonblocking data structures, such as those that require atomic updates to...
OOPSLA
2005
Springer
15 years 7 months ago
2005
Springer
The objective of this research project is to improve the reusability of object-oriented software. We have introduced anchored exception declarations to allow checked exceptions to...
126
click to vote
ESOP
2004
Springer
15 years 7 months ago
2004
Springer
Abstract. We show how to formalise a constraint-based data flow analysis in the specification language of the Coq proof assistant. This involves defining a dependent type of lat...
103
click to vote
POS
1998
Springer
15 years 6 months ago
1998
Springer
This paper argues that caching, atomicity and layering are fundamental to persistent systems, and that the transactional object cache architecture, as an embodiment of these conce...
110
click to vote
TRS
2008
15 years 1 months ago
2008
An implicit assumption of many machine learning algorithms is that all attributes are of the same importance. An algorithm typically selects attributes based solely on their statis...