1255 search results - page 186 / 251 » A Proof Environment for the Development of Group Communicati... |
EUROSYS
2009
ACM
14 years 4 months ago
2009
ACM
Device drivers are notorious for being a major source of failure in operating systems. In analysing a sample of real defects in Linux drivers, we found that a large proportion (39...
ROBOCOMM
2007
IEEE
14 years 2 months ago
2007
IEEE
Abstract—Robust, dependable and concise coordination between members of a robot team is a critical ingredient of any such collective activity. Depending on the availability and t...
MSWIM
2003
ACM
14 years 29 days ago
2003
ACM
Recently, geographic routing in wireless networks has gained attention due to several advantages of location information. Location information eliminates the necessity to set up a...
SAINT
2002
IEEE
14 years 19 days ago
2002
IEEE
In this paper, we describe the Jack-in-the-Net (Ja-Net) architecture for adaptive services in a large scale, open network environment. Using biologically inspired concepts, Ja-Net...
CONCURRENCY
2008
13 years 7 months ago
2008
This paper presents a new service-oriented approach to the design and implementation of visualization systems in a Grid computing environment. The approach evolves the traditional...