9110 search results - page 125 / 1822 » Formally-Based Design Evaluation |
TRIDENTCOM
2008
IEEE
15 years 4 months ago
2008
IEEE
The MeshTest testbed is designed to subject wireless devices and protocols to realistic and repeatable mobile scenarios, including multi-hop and disconnected topologies. The testb...
AVI
2004
14 years 11 months ago
2004
Fishnet is a web browser that always displays web pages in their entirety, independent of their size. Fishnet accomplishes this by using a fisheye view, i.e. by showing a focus re...
ASAP
2007
IEEE
14 years 10 months ago
2007
IEEE
Commercial designs are integrating from 10 to 100 embedded functional and storage blocks in a single system on chip (SoC) currently, and the number is likely to increase significa...
ENTCS
2008
14 years 10 months ago
2008
This paper reports on the design of a test chip built to test a) a new latency insensitive network fabric protocol and circuits, b) a new synchronizer design, and c) how efficient...
IJNSEC
2008
14 years 10 months ago
2008
The protocol design for wireless roaming authentication is challenging because of the key management regarding users and home/visited networks. In this paper, we present two authe...