2830 search results - page 435 / 566 » No Science without Semantics |
189
click to vote
SOSP
2003
ACM
16 years 3 months ago
2003
ACM
We present a flexible architecture for trusted computing, called Terra, that allows applications with a wide range of security requirements to run simultaneously on commodity har...
198
click to vote
SAC
2010
ACM
16 years 1 months ago
2010
ACM
Embracing service-oriented architectures in the context of large systems, such as the Web, rises a set of new and challenging issues: increased size and load in terms of users and...
179
click to vote
ESWS
2009
Springer
16 years 29 days ago
2009
Springer
In this paper we describe a web-based tool that supports the human in revising ontology alignments. Our tool uses logical reasoning as a basis for detecting conflicts in mappings ...
187
click to vote
ISSTA
2009
ACM
16 years 27 days ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
170
click to vote
ICC
2007
IEEE
16 years 21 days ago
2007
IEEE
— Databases associated with keywords, can be public, private or hybrid, as a result the solutions to keyword search protocols for each type are different. In this paper, we study...