663 search results - page 124 / 133 » Process Algebra with Local Communication |
215
click to vote
ICC
2007
IEEE
15 years 9 months ago
2007
IEEE
—Conventional 802.11 medium access control (MAC) characteristics. In particular, all of these designs adopted a protocols have been designed separately from the characteristics s...
124
click to vote
ISCC
2006
IEEE
15 years 9 months ago
2006
IEEE
— Even for a specific application, the design space of wireless sensor networks is enormous, and traditional disciplinary boundaries are disappearing in the search for efficien...
122
Voted
MMMACNS
2005
Springer
15 years 8 months ago
2005
Springer
The variety and richness of what users browse on the Internet has made the communications of web-browsing hosts an attractive target for surveillance. We show that passive external...
134
click to vote
IWDC
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. The extension of Internet services to public transport passengers is slowly becoming inevitable. To this end, it is envisaged that high-speed local area networks will be ...
126
click to vote
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. We describe a scalable incomplete boundedness test for the communication buffers in UML RT models. UML RT is a variant of the UML modeling language, tailored to describin...