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...
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...
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...
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...
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...