1845 search results - page 344 / 369 » From the Internet of Computers to the Internet of Things |
138
click to vote
DRM
2006
Springer
15 years 5 months ago
2006
Springer
In this paper we consider the functionality that a rights expression language (REL) should provide within a digital rights management (DRM) environment. We begin by noting the dea...
133
click to vote
JACM
2002
15 years 29 days ago
2002
We show how to use an interactive theorem prover, HOL, together with a model checker, SPIN, to prove key properties of distance vector routing protocols. We do three case studies: ...
105
click to vote
MOBISYS
2007
ACM
16 years 26 days ago
2007
ACM
We consider the problem of providing vehicular Internet access using roadside 802.11 access points. We build on previous work in this area [18, 8, 5, 11] with an extensive experim...
102
click to vote
MOBIHOC
2005
ACM
16 years 26 days ago
2005
ACM
Analyzing TCP operation over 802.11 multihop ad hoc networks involves a cross-layer study. In this work, we investigate the effect of congestion and MAC contention on the interact...
145
click to vote
SODA
2010
ACM
15 years 10 months ago
2010
ACM
Regular expression matching is a key task (and often computational bottleneck) in a variety of software tools and applications. For instance, the standard grep and sed utilities, ...