2338 search results - page 57 / 468 » Separation in Theory - Coordination in Practice |
RSS
2007
13 years 10 months ago
2007
— We present an efficient algorithm to compute the generalized penetration depth (PDg) between rigid models. Given two overlapping objects, our algorithm attempts to compute the...
ESORICS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. We define a framework to reason about implementations of equational theories in the presence of an adaptive adversary. We particularly focus on soundess of static equiva...
AGILEDC
2004
IEEE
14 years 21 days ago
2004
IEEE
Agile development practices respect tacit knowledge, make communication more effective, and thus foster the knowledge creation process. However the current agile methods, like XP,...
SIGCOMM
2006
ACM
14 years 2 months ago
2006
ACM
— This paper proposes COPE, a new architecture for wireless mesh networks. In addition to forwarding packets, routers mix (i.e., code) packets from different sources to increase ...
BCSHCI
2007
13 years 10 months ago
2007
The current practice of designing the auditory mode in the user interface is poorly understood. In this survey, we aim at revealing the common understanding of the role of audio i...