1054 search results - page 147 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
113
click to vote
ATAL
2003
Springer
15 years 9 months ago
2003
Springer
This paper unifies two recent strands of research in multiagent system design. One, commitments are widely recognized as capturing important aspects of interactions among agents,...
116
click to vote
KER
2006
15 years 4 months ago
2006
This work examines the interplay of inter-personal and inter-organizational trust, two distinct but related concepts, through a theoretic inter-organizational trust-based security...
144
Voted
APVIS
2001
15 years 5 months ago
2001
This paper demonstrates the application of graph drawing and information visualisation techniques to the visualisation of information which can be modelled as an attributed graph....
153
click to vote
INTERNET
2006
15 years 4 months ago
2006
A conversation is the global sequence of messages exchanged among the components of a distributed system. Conversations provide a promising model for specifying and analyzing the ...
181
click to vote
ISWC
1998
IEEE
15 years 8 months ago
1998
IEEE
system to date has served all of the needs of wearable computing--light weight, minimum effort, high power generation, convenient power delivery, and good power regulation. We beli...