Sciweavers

4612 search results - page 595 / 923
» More Communications
Sort
View
ICECCS
1999
IEEE
140views Hardware» more  ICECCS 1999»
15 years 12 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...
CSREAEEE
2006
115views Business» more  CSREAEEE 2006»
15 years 9 months ago
A Framework for Smart e-Trader System for UAE Stock Markets
- The fast development in computing and communication has strongly changed the dynamics of financial markets. More people are trading online through the Web instead of using full-s...
Emad Bataineh, Fatma Al Amir, Hanan Ibraheem, Hess...
AAAI
1994
15 years 9 months ago
Using Knowledge Acquisition and Representation Tools to Support Scientific Communities
Widespread access to the Internet has led to the formation of geographically dispersed scientific communities collaborating through the network. The tools supporting such collabor...
Brian R. Gaines, Mildred L. G. Shaw
CORR
2008
Springer
97views Education» more  CORR 2008»
15 years 7 months ago
Efficient Algorithms and Routing Protocols for Handling Transient Single Node Failures
Single node failures represent more than 85% of all node failures in the today's large communication networks such as the Internet [10]. Also, these node failures are usually...
Amit M. Bhosle, Teofilo F. Gonzalez
GEOINFORMATICA
2006
133views more  GEOINFORMATICA 2006»
15 years 7 months ago
Indexing Fast Moving Objects for kNN Queries Based on Nearest Landmarks
With the rapid advancements in positioning technologies such as the Global Positioning System (GPS) and wireless communications, the tracking of continuously moving objects has bec...
Dan Lin, Rui Zhang 0003, Aoying Zhou