4693 search results - page 645 / 939 » Verifying Hybrid Systems |
196
click to vote
SIMUTOOLS
2008
15 years 8 months ago
2008
New technologies such as IEEE 802.16 (Wi-MAX) [2] and IEEE 802.11e (Wi-Fi with QoS) [1] enable differentiated services. In this study we explore the potential for increasing the r...
189
click to vote
SNPD
2007
15 years 8 months ago
2007
While wireless sensor networks are proving to be a versatile tool, many of the applications in which they are implemented have sensitive data. In other words, security is crucial ...
170
click to vote
CSREASAM
2006
15 years 8 months ago
2006
- This paper proposes a new method to detect, alert and protect the user from Internationalized Domain Names [1] (IDN) and Uniform Resource Locator (URL) spoofing, phishing, pharmi...
201
click to vote
IJCAI
2001
15 years 8 months ago
2001
Certain planning systems that deal with quantitative time constraints have used an underlying Simple Temporal Problem solver to ensure temporal consistency of plans. However, many...
164
click to vote
IJCAI
2003
15 years 8 months ago
2003
After many successes, statistical approaches that have been popular in the parsing community are now making headway into Natural Language Generation (NLG). These systems are aimed...