3994 search results - page 534 / 799 » A Linear Logical Framework |
157
click to vote
AICCSA
2005
IEEE
16 years 27 days ago
2005
IEEE
OpenSST (Open Simple Secure Transaction) is a free software project and aims to create an efficient, open and secure alternative to the secure proprietary transaction protocol. Op...
179
click to vote
ENC
2005
IEEE
16 years 26 days ago
2005
IEEE
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
199
click to vote
ICDAR
2005
IEEE
16 years 26 days ago
2005
IEEE
Relationships that link static documents discussed during meetings to the corresponding speech transcripts can be of various kinds. The most important ones, thematic links, quotat...
192
click to vote
ICECCS
2005
IEEE
16 years 26 days ago
2005
IEEE
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
184
click to vote
ACMSE
2005
ACM
16 years 25 days ago
2005
ACM
A simple extension to the relational model that permits metadata (more generally metaknowledge) to be stored and manipulated as first class data is proposed. The accompanying que...