2550 search results - page 226 / 510 » The Meaning of Open Standards |
215
click to vote
CSFW
1998
IEEE
15 years 11 months ago
1998
IEEE
This paper applies the theory of Communicating Sequential Processes (CSP) to the modelling and analysis of a non-repudiation protocol. Non-repudiation protocols di er from authent...
169
click to vote
ELPUB
1997
ACM
15 years 10 months ago
1997
ACM
We consider the generic hypermedia structure of a document to be a means of representing the document that allows it to be processed into a wide variety of presentations. Represen...
181
click to vote
ADL
1997
Springer
15 years 10 months ago
1997
Springer
Successful applications of digital libraries require structured access to sources of information. This paper presents an approach to extract the logical structure of text document...
195
click to vote
ISMIS
1994
Springer
15 years 10 months ago
1994
Springer
We assume that safety of information stored in a database depends on the reliability of the agents who have performed the insertions in the database. We present a logic S to repres...
162
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
This paper discusses semantic interoperability issues in agentbased E-commerce systems. The literature reports various techniques to enable agents to understand the meanings of th...