Sciweavers

2643 search results - page 231 / 529
» Higher order messaging
Sort
View
EON
2008
15 years 8 months ago
Synthesizing the Mediator with jABC/ABC
Abstract. In this paper we show how to apply a tableau-based software composition technique to automatically generate the mediator's service logic. This uses an LTL planning (...
Tiziana Margaria
CHI
2006
ACM
16 years 7 months ago
Tactile crescendos and sforzandos: applying musical techniques to tactile icon design
Tactile icons (Tactons) are structured vibrotactile messages which can be used for non visual information display. Information is encoded in Tactons by manipulating vibrotactile p...
Lorna M. Brown, Stephen A. Brewster, Helen C. Purc...
EWSN
2004
Springer
16 years 6 months ago
Tracking Real-World Phenomena with Smart Dust
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
Kay Römer
CSFW
2009
IEEE
16 years 1 months ago
Achieving Security Despite Compromise Using Zero-knowledge
One of the important challenges when designing and analyzing cryptographic protocols is the enforcement of security properties in the presence of compromised participants. This pa...
Michael Backes, Martin P. Grochulla, Catalin Hritc...
IPPS
2009
IEEE
16 years 1 months ago
Ten weeks in the life of an eDonkey server
Abstract—This paper presents a capture of the queries managed by an eDonkey server during almost 10 weeks, leading to the observation of almost 9 billion messages involving almos...
Frederic Aidouni, Matthieu Latapy, Clémence...