1362 search results - page 59 / 273 » Model Checking Large Network Protocol Implementations |
144
Voted
BROADNETS
2004
IEEE
15 years 7 months ago
2004
IEEE
Traditionally, the routing problem is addressed at the network layer, an approach that has been extended to the wireless realm. In wireless multihop networks, however, strict laye...
146
click to vote
VRML
1998
ACM
15 years 8 months ago
1998
ACM
VRML (the Virtual Reality Modeling Language) has brought 3D objects and virtual worlds to a large number of Internet users. While it provides a suitable basis for the platform ind...
126
click to vote
ICDCSW
2000
IEEE
15 years 7 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
237
click to vote
SP
2006
IEEE
15 years 10 months ago
2006
IEEE
Security concerns are becoming increasingly critical in networked systems. Firewalls provide important defense for network security. However, misconfigurations in firewalls are ...
151
click to vote
MDM
2007
Springer
15 years 10 months ago
2007
Springer
Abstract—With the price of wireless sensor technologies diminishing rapidly we can expect large numbers of autonomous sensor networks being deployed in the near future. These sen...