2643 search results - page 231 / 529 » Higher order messaging |
199
click to vote
EON
2008
15 years 8 months ago
2008
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 (...
152
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
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...
170
click to vote
EWSN
2004
Springer
16 years 6 months ago
2004
Springer
Abstract. So-called "Smart Dust" is envisioned to combine sensing, computing, and wireless communication capabilities in an autonomous, dust-grain-sized device. Dense net...
217
click to vote
CSFW
2009
IEEE
16 years 1 months ago
2009
IEEE
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...
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
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...