585 search results - page 83 / 117 » Better Abstractions for Timed Automata |
ICN
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper presents a stable accurate rapid bandwidth estimate (SARBE) algorithm to improve TCP performance over wireless networks. The proposed algorithm estimates the b...
120
click to vote
IDEAL
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. A novel Genetic Programming (GP) paradigm called Coevolutionary Rule-Chaining Genetic Programming (CRGP) has been proposed to learn the relationships among attributes rep...
ACNS
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. We propose a novel framework named Hidden Colored PetriNet for Alert Correlation and Understanding (HCPN-ACU) in intrusion detection system. This model is based upon the ...
89
Voted
ASIASIM
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. SSL is one of the most popular protocols used on the Internet for secure communications. However SSL protocol has several problems. First, SSL protocol brings considerabl...
87
Voted
CSCLP
2004
Springer
15 years 2 months ago
2004
Springer
Abstract. In this paper we develop a localized value-ordering heuristic for distributed resource allocation problems. We show how this value ordering heuristics can be used to achi...