Sciweavers

1256 search results - page 152 / 252
» A Simple E-Voting Protocol
Sort
View
DATE
2006
IEEE
86views Hardware» more  DATE 2006»
15 years 7 months ago
Synthesis of system verilog assertions
In recent years, Assertion-Based Verification is being widely accepted as a key technology in the pre-silicon validation of system-on-chip(SOC) designs. The System Verilog langua...
Sayantan Das, Rizi Mohanty, Pallab Dasgupta, P. P....
DEXAW
2006
IEEE
165views Database» more  DEXAW 2006»
15 years 7 months ago
Design of a Web-Based Application for Wireless Sensor Networks
Wireless sensor networks (WSNs) are used for various ubiquitous and pervasive environments. A few common applications are security, agriculture, automation, and environmental moni...
Sajid Hussain, Nick Schofield, Abdul Wasey Matin
DSN
2006
IEEE
15 years 7 months ago
The Startup Problem in Fault-Tolerant Time-Triggered Communication
Fault-tolerant time-triggered communication relies on the synchronization of local clocks. The startup problem is the problem of reaching a sufficient degree of synchronization a...
Wilfried Steiner, Hermann Kopetz
ITNG
2006
IEEE
15 years 7 months ago
Adding High Level VoIP Facilities to the Unicon Language
Many programming languages have built-in functions for socket programming and data communications. These days, the Internet is widely used for voice communications that employ a V...
Ziad Al-Sharif, Clinton Jeffery
VTC
2006
IEEE
15 years 7 months ago
SNMP-Based Approach to Load Distribution in IEEE 802.11 Networks
Abstract— In an IEEE 802.11 network, the traffic load collectively given by wireless stations (WSs) is usually not fairly shared by all available access points (APs), as WSs ind...
Li-Hsing Yen, Tse-Tsung Yeh