2661 search results - page 455 / 533 » Model Checking Performability Properties |
ASIACRYPT
2008
Springer
14 years 1 days ago
2008
Springer
Abstract. The generic (aka. black-box) group model is a valuable methodology for analyzing the computational hardness of number-theoretic problems used in cryptography. Since the p...
IMC
2007
ACM
13 years 11 months ago
2007
ACM
The interference map of an 802.11 network is a collection of data structures that can help heuristics for routing, channel assignment and call admission in dense wireless networks...
SDM
2007
SIAM
13 years 11 months ago
2007
SIAM
In recent years, there have been some interesting studies on predictive modeling in data streams. However, most such studies assume relatively balanced and stable data streams but...
ACSW
2006
13 years 11 months ago
2006
Intrusion detection systems (IDS) perform an important role in the provision of network security, providing real- time notification of attacks in progress. One promising category ...
IJCAI
2003
13 years 11 months ago
2003
This paper presents a new scenario recognition algorithm for Video Interpretation. We represent a scenario model by specifying the characters involved in the scenario, the sub-sce...