338 search results - page 52 / 68 » Locally checkable proofs |
MOBIHOC
2009
ACM
14 years 9 months ago
2009
ACM
Due to its low complexity, Greedy Maximal Scheduling (GMS), also known as Longest Queue First (LQF), has been studied extensively for wireless networks. However, GMS can result in...
ICFP
2004
ACM
14 years 9 months ago
2004
ACM
We present a process logic for the -calculus with the linear/affine type discipline (Berger et al. 2001; Berger et al. 2003; Honda and Yoshida 2002; Honda and Yoshida 2003; Honda ...
MOBISYS
2003
ACM
14 years 8 months ago
2003
ACM
In this paper, we present a middleware architecture for coordination services in sensor networks that facilitates interaction between groups of sensors which monitor different env...
HICSS
2009
IEEE
14 years 4 months ago
2009
IEEE
This research explores how a wide range of automobile crash, emergency responder, hospital, and trauma information could be useful to emergency medical practitioners for making de...
GLOBECOM
2009
IEEE
14 years 4 months ago
2009
IEEE
—Ethernet is widely used in Local Area Networks (LANs) due to its simplicity and cost effectiveness. Today, a great deal of effort is being devoted to extending Ethernet capabili...