503 search results - page 17 / 101 » Authenticity by tagging and typing |
CORR
2004
Springer
13 years 7 months ago
2004
Springer
Abstraction by Typing Andrew D. Gordon Microsoft Research Riccardo Pucella Cornell University An XML web service is, to a first approximation, an RPC service in which requests and...
ESORICS
2009
Springer
14 years 8 months ago
2009
Springer
Abstract. Many protocols rely on audit trails to allow an impartial judge to verify a posteriori some property of a protocol run. However, in current practice the choice of what da...
HICSS
2009
IEEE
14 years 2 months ago
2009
IEEE
Social tagging is a relatively new type of social software that stores user-generated textual keywords to describe a resource or aspects of that resource. In this paper we explore...
EUSAI
2004
Springer
14 years 28 days ago
2004
Springer
Abstract. With the emerging mass production of very small, cheap Radio Frequency Identification (RFID) tags, it is becoming feasible to deploy such tags on a large scale. In this ...
APLAS
2003
ACM
14 years 24 days ago
2003
ACM
When constructing programs to process XML documents, we immediately face the question as to how XML documents should be represented internally in the programming language we use. C...