4413 search results - page 771 / 883 » New Directions for CACM |
157
click to vote
LPAR
2010
Springer
15 years 3 months ago
2010
Springer
We present a sound and complete model of lambda-calculus reductions based on structures inspired by modal logic (closely related to Kripke structures). Accordingly we can construct...
172
click to vote
MICRO
2010
IEEE
15 years 3 months ago
2010
IEEE
Advanced Synchronization Facility (ASF) is an AMD64 hardware extension for lock-free data structures and transactional memory. It provides a speculative region that atomically exec...
135
click to vote
SEMWEB
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. Measuring similarity between ontologies can be very useful for different purposes, e.g., finding an ontology to replace another, or finding an ontology in which queries c...
157
click to vote
SENSYS
2010
ACM
15 years 3 months ago
2010
ACM
As more and more physical information becomes available, a critical problem is enabling the simple and efficient exchange of this data. We present our design for a simple RESTful ...
182
click to vote
SMI
2010
IEEE
15 years 3 months ago
2010
IEEE
In this article, we present a rule-based language dedicated to topological operations, based on graph transformations. Generalized maps are described as a particular class of graph...