2696 search results - page 423 / 540 » Semantic Abstraction and Anaphora |
166
click to vote
SIGSOFT
2003
ACM
16 years 7 months ago
2003
ACM
Model checking is emerging as a popular technology for reasoning about behavioral properties of a wide variety of software artifacts including: requirements models, architectural ...
157
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
The Web Ontology Language (OWL) defines three classes of documents: Lite, DL and Full. All RDF/XML documents are OWL Full documents, some OWL Full documents are also OWL DL docume...
172
click to vote
ESORICS
2009
Springer
16 years 7 months ago
2009
Springer
Abstract. We study methods that allow web sites to safely combine JavaScript from untrusted sources. If implemented properly, filters can prevent dangerous code from loading into t...
189
click to vote
CAV
2009
Springer
16 years 6 months ago
2009
Springer
Abstract. Pseudo-code descriptions of STMs assume sequentially consistent program execution and atomicity of high-level STM operations like read, write, and commit. These assumptio...
152
click to vote
KDD
2002
ACM
16 years 6 months ago
2002
ACM
This paper presents new methods for automatically integrating, summarizing and evaluating multimedia knowledge. These are essential for multimedia applications to efficiently and ...