Sciweavers

24 search results - page 5 / 5
» Towards formal model of adversarial action in multi-agent sy...
Sort
View
CSFW
2007
IEEE
13 years 11 months ago
Compositional Security for Task-PIOAs
Task-PIOA is a modeling framework for distributed systems with both probabilistic and nondeterministic behaviors. It is suitable for cryptographic applications because its task-bas...
Ran Canetti, Ling Cheung, Dilsun Kirli Kaynar, Nan...
CSCW
2010
ACM
14 years 2 months ago
Invisible emotion: information and interaction in an emergency room
Emotions are an often overlooked aspect of work since they are not included in formal work models. However, they continue provide critical information as well as be part of a rich...
Helena M. Mentis, Madhu Reddy, Mary Beth Rosson
BTW
2001
Springer
129views Database» more  BTW 2001»
13 years 9 months ago
Schema Evolution in Federated Information Systems
Mediators – used in federated information systems – provide a homogeneous read-only access to a set of autonomous information sources. To achieve semantic integration of the h...
Susanne Busse, Claudia Pons
ATAL
2005
Springer
13 years 11 months ago
Designing multiparty interaction support in Elva, an embodied tour guide
Although social research into group interaction has flourished since the 20th century, the technology of embodied conversational agents for handling multiparty interaction is stil...
Jun Zheng, Xiang Yuan, Yam San Chee