1362 search results - page 197 / 273 » Model Checking Large Network Protocol Implementations |
146
click to vote
ASAP
2008
IEEE
15 years 9 months ago
2008
IEEE
Process technology has reduced in size such that it is possible to implement complete applicationspecific architectures as Systems-on-Chip (SoCs) using both Application-Specific I...
152
click to vote
ANSS
2007
IEEE
15 years 9 months ago
2007
IEEE
This work describes a Java based development platform which is intended to support ad hoc network researchers in application and protocol design. Software development within this ...
153
click to vote
ICDCS
2003
IEEE
15 years 8 months ago
2003
IEEE
With the proliferation of wireless devices, mobile ad hoc networking (MANET) has become a very exciting and important technology due to its characteristics of open medium and dyna...
109
click to vote
IPSN
2007
Springer
15 years 9 months ago
2007
Springer
TinyOS applications are built with software components that communicate through narrow interfaces. Since components enable finegrained code reuse, this approach has been successf...
138
click to vote
ISCA
2005
IEEE
15 years 8 months ago
2005
IEEE
Network Intrusion Detection and Prevention Systems have emerged as one of the most effective ways of providing security to those connected to the network, and at the heart of alm...