48 search results - page 10 / 10 » On the Collaborative Development of Para-Consistent Conceptu... |
VSTTE
2005
Springer
13 years 10 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
ESWS
2009
Springer
13 years 12 months ago
2009
Springer
Abstract. Ontology matching has become an important field of research over the last years. Although many different approaches have been proposed, only few of them are committed t...
SOUPS
2006
ACM
13 years 11 months ago
2006
ACM
The usability of access control mechanisms in modern distributed systems has been widely criticized but little studied. In this paper, we carefully examine one such widely deploye...