Sciweavers

1432 search results - page 123 / 287
» Supporting self-expression for informal communication
Sort
View
CSFW
2003
IEEE
15 years 5 months ago
Type-Based Distributed Access Control
A type system is presented that combines a weak form of information flow control, termed distributed access control in the paper, with typed cryptographic operations. The motivat...
Tom Chothia, Dominic Duggan, Jan Vitek
ISCAS
1999
IEEE
72views Hardware» more  ISCAS 1999»
15 years 4 months ago
Shape-based sequential machine analysis
In this paper, the problem of determining if a given sequential specification can be made to fit a predetermined set of shape constraints is explored. Shape constraints are constr...
A. Crews, F. Brewer
CHI
2009
ACM
15 years 3 months ago
Collaborative translation by monolingual users
This paper describes a research effort to support collaborative translation by monolingual speakers, or people that speak only the source or target language. I hypothesize that sh...
Chang Hu
WSC
2008
15 years 2 months ago
A simulation framework for assessing the performance of cooperative transportation planning algorithms
In this paper, we suggest a framework that allows for the simulation-based performance assessment of algorithms for cooperative transportation planning. Therefore, we consider a c...
Ralf Sprenger, Lars Mönch
AAAI
1994
15 years 1 months ago
An Artificial Discourse Language for Collaborative Negotiation
Collaborations to accomplish common goals necessitate negotiation to share and reach agreement on the beliefs that agents hold as part of the collaboration. Negotiation in communi...
Candace L. Sidner