Sciweavers

11381 search results - page 431 / 2277
» Connectivity
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 11 months ago
Practical Considerations in Protocol Verification: The E-2C Case Study
We report on our efforts to formally specify and verify a new protocol of the E-2C Hawkeye Early Warning Aircraft. The protocol, which is currently in test at Northrop Grumman, su...
Yifei Dong, Scott A. Smolka, Eugene W. Stark, Step...
LCN
1999
IEEE
15 years 11 months ago
AQuaFWiN: Adaptive QoS Framework for Multimedia in Wireless Networks and Its Comparison with other QoS Frameworks
In a wireless environment, due to topology changes and characteristics of media (interference in radio signals) the bandwidth of a link is unpredictable and possibly very low, the...
Bobby Vandalore, Raj Jain, Sonia Fahmy, Sudhir S. ...
PG
1999
IEEE
15 years 11 months ago
An Improved TIN Compression Using Delaunay Triangulation
In this paper we introduce a new compression technique for the connectivity of a Triangulated Irregular Network (TIN) by using Delaunay triangulation. The strategy in this paper i...
Yang-Soo Kim, Dong-Gyu Park, Ho-Youl Jung, Hwan-Gu...
PG
1999
IEEE
15 years 11 months ago
Reconstruction and Simplification of Surfaces from Contours
In this paper we consider the problem of reconstructing triangular surfaces from given contours. An algorithm solving this problem has to decide which contours of two successive s...
Reinhard Klein, Andreas Schilling, Wolfgang Stra&s...
GD
1999
Springer
15 years 11 months ago
Isomorphic Subgraphs
The isomorphic subgraph problem is finding two disjoint subgraphs of a graph which coincide on at least k edges. The graph is partitioned into a subgraph, its copy, and a remaind...
Sabine Bachl