9110 search results - page 1707 / 1822 » Formally-Based Design Evaluation |
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
Abstract— The current best-effort Internet cannot readily provide the service guarantees that VoIP applications often require. Path switching can potentially address this problem...
INFOCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
— When a sensor network is deployed in hostile environments, the adversary may compromise some sensor nodes, and use the compromised nodes to inject false sensing reports or modi...
ISPASS
2005
IEEE
14 years 3 months ago
2005
IEEE
Recent advances in bioinformatics and the significant increase in computational power available to researchers have made it possible to make better use of the vast amounts of gene...
ITCC
2005
IEEE
14 years 3 months ago
2005
IEEE
has to be relayed to nodes interested in those events. Moreover, nodes may also generate queries to find events they are interested in. Thus there is a need to route the informatio...
IWPSE
2005
IEEE
14 years 3 months ago
2005
IEEE
Visualizing software evolution is essential for identifying design erosions that have occurred over the past releases. Making evolutionary aspects explicit via visual representati...