143 search results - page 21 / 29 » A Dynamic View on Model Construction for Discourse Interpret... |
ASIACRYPT
2003
Springer
14 years 19 days ago
2003
Springer
Constructing practical and provably secure group signature schemes has been a very active research topic in recent years. A group signature can be viewed as a digital signature wit...
ISPW
1996
IEEE
13 years 11 months ago
1996
IEEE
A 1968 study of the software process led, inter alia, to the observation that the software process constitutes a feedback system. Attempts at its management and improvement must t...
KI
2006
Springer
13 years 7 months ago
2006
Springer
Abstract. Several options are available to relate agent logics to computational agent systems. Among others, one can try to find useful executable fragments of an agent logic or us...
CHI
2003
ACM
14 years 7 months ago
2003
ACM
Fusion is a web-based system that enables end-users to rapidly and dynamically construct personalized visualization workspaces without programming. Users first use advanced data s...
TACS
1994
Springer
13 years 11 months ago
1994
Springer
In this paper we present a semantic theory for Concurrent ML. It consists of a new effect-based type system and a denotational model. The new type system is based on an extension o...