2688 search results - page 311 / 538 » A formal semantics for P3P |
195
click to vote
IJKL
2007
15 years 6 months ago
2007
: Awareness is required for supporting all forms of cooperation. In Computer Supported Collaborative Learning (CSCL), awareness can be used for enhancing collaborative opportunitie...
183
click to vote
JCS
2007
15 years 6 months ago
2007
We propose a type and effect system for authentication protocols built upon a tagging scheme that formalizes the intended semantics of ciphertexts. The main result is that the val...
169
click to vote
IJCIS
1998
15 years 6 months ago
1998
The problem of integrating information from con icting sources comes up in many current applications, such as cooperative information systems, heterogeneous databases, and multi-a...
181
click to vote
MMS
2002
15 years 6 months ago
2002
An intelligent annotation-based video data model called Smart VideoText is introduced. It utilizes the conceptual graph knowledge representation formalism to capture the semantic a...
185
click to vote
NJC
2002
15 years 6 months ago
2002
The tcc model is a formalism for reactive concurrent constraint programming. We present a model of temporal concurrent constraint programming which adds to tcc the capability of mo...