718 search results - page 126 / 144 » Supporting the Design of Ontologies for Data Access |
139
click to vote
CSL
2006
Springer
15 years 5 months ago
2006
Springer
Separation Logic is a sub-structural logic that supports local reasoning for imperative programs. It is designed to elegantly describe sharing and aliasing properties of heap struc...
107
click to vote
HHCI
2000
15 years 5 months ago
2000
In this paper we discuss the design of computer-based haptic graphs for blind and visually impaired people with the support of our preliminary experimental results. Since visual i...
122
click to vote
BPM
2008
Springer
15 years 3 months ago
2008
Springer
The need to involve business users in process modeling is largely perceived in the context of Business Process Management systems. This can facilitate the elaboration of consistent...
121
click to vote
NSDI
2010
15 years 2 months ago
2010
Byzantine fault-tolerant (BFT) replication has enjoyed a series of performance improvements, but remains costly due to its replicated work. We eliminate this cost for read-mostly ...
118
click to vote
INTERACT
2007
15 years 2 months ago
2007
Abstract. Policies, sets of rules that govern permission to access resources, have long been used in computer security and online privacy management; however, the usability of auth...