4099 search results - page 451 / 820 » A Framework for Interactive Proof |
204
click to vote
CSL
2005
Springer
16 years 9 days ago
2005
Springer
Since Val Tannen's pioneering work on the combination of simply-typed λ-calculus and rst-order rewriting [11], many authors have contributed to this subject by extending it ...
166
click to vote
ICICS
2005
Springer
16 years 8 days ago
2005
Springer
The notion of concurrent signatures was recently introduced by Chen, Kudla and Paterson. In concurrent signature schemes, two entities can produce two signatures that are not bindi...
167
click to vote
SAS
2004
Springer
16 years 3 days ago
2004
Springer
Termination has been a subject of intensive research in the logic programming community for the last two decades. Most works deal with proving universal left termination of a given...
159
click to vote
SEMWEB
2004
Springer
16 years 3 days ago
2004
Springer
Abstract. This paper presents a semantic web portal tool ONTOVIEWS for publishing RDF content on the web. ONTOVIEWS provides the portal designer with a content-based search engine ...
183
click to vote
CSFW
2003
IEEE
16 years 2 days ago
2003
IEEE
To be practical, systems for ensuring secure information flow must be as permissive as possible. To this end, the author recently proposed a type system for multi-threaded progra...