2436 search results - page 173 / 488 » Comonadic Notions of Computation |
155
click to vote
ICDCSW
2000
IEEE
15 years 9 months ago
2000
IEEE
In this paper, we present a novel routing protocol for wireless ad hoc networks – Fisheye State Routing (FSR). FSR introduces the notion of multi-level fisheye scope to reduce ...
137
click to vote
ISWC
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper introduces the notion of a Wearable Community as a group of wearable users who cooperate for their mutual benefit. In such a community, wearable computers act as person...
141
click to vote
ICDCS
1998
IEEE
15 years 8 months ago
1998
IEEE
Distributed execution of logic programs requires a match of granularity between a program and the distributed multi-processor it runs on to exploit its potential for performance f...
152
click to vote
DAC
1996
ACM
15 years 8 months ago
1996
ACM
-- This paper presents an efficient method for the timing verification of concurrent systems, modeled as labeled Timed Petri nets. The verification problems we consider require us ...
162
click to vote
CHI
1993
ACM
15 years 8 months ago
1993
ACM
Multimodal interaction enables the user to employ different modalities such as voice, gesture and typing for communicating with a computer. This paper presents an analysis of the ...