490 search results - page 52 / 98 » Modeling lobed leaves |
CORR
2010
Springer
13 years 9 months ago
2010
Springer
Abstract--This paper focuses on data structures for multicore reachability, which is a key component in model checking algorithms and other verification methods. A cornerstone of a...
IJWET
2007
13 years 8 months ago
2007
: Context-aware ubiquitous computing environments tend to be highly distributed and heterogeneous, while also featuring increased dynamism as elements, devices and middleware compo...
RTAS
2005
IEEE
14 years 2 months ago
2005
IEEE
— Convoy driving on public highways is a useful phenomena which increases the safety and the throughput of the highway. We present an approach through which a wireless Convoy Dri...
SIGECOM
2004
ACM
14 years 2 months ago
2004
ACM
We explore an alternative approach to spam based on economic rather than technological or regulatory screening mechanisms. We employ a model of email value which supports two intu...
SIGCOMM
1998
ACM
14 years 1 months ago
1998
ACM
Many emerging applications (e.g., teleconference, real-time information services, pay per view, distributed interactive simulation, and collaborative work) are based upon a group ...