674 search results - page 81 / 135 » Resource Bound Certification |
102
click to vote
INFOCOM
2007
IEEE
15 years 6 months ago
2007
IEEE
Abstract— This paper investigates the near-memoryless behavior of the service time for IEEE 802.11 saturated single-hop ad hoc networks. We show that the number of packets succes...
113
click to vote
INFOCOM
2006
IEEE
15 years 5 months ago
2006
IEEE
— Dissemination of common information through broadcasting is an integral part of wireless network operations such as query of interested events, resource discovery and code upda...
ZUM
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We describe a method for combining formal program development with a disciplined and documented way of introducing realistic compromises, for example necessitated by reso...
EMSOFT
2004
Springer
15 years 5 months ago
2004
Springer
In reactive systems, execution is driven by external events to which the system should respond with appropriate actions. Such events can be simple, but systems are often supposed ...
MMAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. In order to construct and deploy massively multiagent systems, we must address one of the fundamental issues of distributed systems, the possibility of partial failures. ...