2685 search results - page 452 / 537 » A Formal Semantics for SPKI |
153
click to vote
WWW
2004
ACM
16 years 6 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...
175
click to vote
WWW
2004
ACM
16 years 6 months ago
2004
ACM
This paper describes an XPath-based discourse analysis module for Spoken Dialogue Systems that allows the dialogue author to easily manipulate and query both the user input's...
274
click to vote
POPL
2009
ACM
16 years 6 months ago
2009
ACM
The call-by-need lambda calculus provides an equational framework for reasoning syntactically about lazy evaluation. This paper examines its operational characteristics. By a seri...
168
click to vote
ESORICS
2009
Springer
16 years 6 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...
159
click to vote
COORDINATION
2009
Springer
16 years 6 months ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...