1362 search results - page 206 / 273 » Model Checking Large Network Protocol Implementations |
102
click to vote
DSD
2008
IEEE
15 years 9 months ago
2008
IEEE
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
131
click to vote
JAR
1998
15 years 2 months ago
1998
Mechanized reasoning systems and computer algebra systems have different objectives. Their integration is highly desirable, since formal proofs often involve both of the two differ...
117
click to vote
IJSNET
2006
15 years 3 months ago
2006
This paper explores in-network aggregation as a power-efficient mechanism for collecting data in wireless sensor networks. In particular, we focus on sensor network scenarios wher...
144
click to vote
TPHOL
1998
IEEE
15 years 7 months ago
1998
IEEE
In this paper we illustrate the use of formal methods in the development of a benchmark application we call the Village Telephone System which is characteristic of a class of netwo...
117
click to vote
MOBICOM
2010
ACM
15 years 3 months ago
2010
ACM
In 802.11 managed wireless networks, the manager can address under-served links by rate-limiting the conflicting nodes. In order to determine to what extent each conflicting node ...