12981 search results - page 2513 / 2597 » Model Checking and Abstraction |
102
click to vote
IJCNN
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract— Automatic pattern classifiers that allow for incremental learning can adapt internal class models efficiently in response to new information, without having to retrai...
114
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—The split of a multihop, point to point TCP connection consists in replacing a plain, end-to-end TCP connection by a cascade of TCP connections. In such a cascade, conne...
111
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract. Denial-of-Service (DoS) attacks remain a challenging problem in the Internet. In a DoS attack the attacker is attempting to make a resource unavailable to its intended le...
147
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
114
click to vote
INFOCOM
2008
IEEE
15 years 7 months ago
2008
IEEE
Abstract—IEEE 802.16e WiMAX is a promising new technology for broadband access networks. Amongst the class of applications that can be supported is real time video services (such...