1950 search results - page 242 / 390 » Lambda-Free Logical Frameworks |
140
click to vote
AICCSA
2005
IEEE
16 years 5 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...
149
click to vote
ENC
2005
IEEE
16 years 5 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 ...
182
click to vote
ICDAR
2005
IEEE
16 years 5 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...
175
click to vote
ICECCS
2005
IEEE
16 years 5 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...
162
click to vote
TIME
2005
IEEE
16 years 4 days ago
2005
IEEE
Information often comes from different sources and merging these sources usually leads to the apparition of inconsistencies. Fusion is the operation which consists in restoring th...