5550 search results - page 633 / 1110 » Different Approaches to Proof Systems |
179
click to vote
POLICY
2004
Springer
16 years 17 days ago
2004
Springer
We present a policy-based approach to managing congestions in Short Message Service (SMS) systems. Congestion situations typically occur on SMS Gateways (SMSGs), which route SMS m...
183
click to vote
DATE
2003
IEEE
16 years 15 days ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
203
click to vote
HAPTICS
2003
IEEE
16 years 15 days ago
2003
IEEE
The majority of today’s haptic interfaces are designed for hand-based interaction with virtual environments. However, there are several reallife tasks that require a person to i...
162
click to vote
ITC
2003
IEEE
16 years 14 days ago
2003
IEEE
Electrical testing of MicroElectroMechanical Systems (MEMS) can take on many different forms including wafer probing, electrical trimming, final test at temperatures, engineering ...
173
click to vote
CDC
2009
IEEE
15 years 12 months ago
2009
IEEE
— A data-based approach is presented for modeling and controller design of a dual-stage servo actuator in a hard disk drive. The servo actuator in this hard disk drive consists o...