Sciweavers

1713 search results - page 319 / 343
» Analysis of Procedure Splitability
Sort
View
ANSS
2003
IEEE
14 years 1 months ago
A Simulation Study of the Proactive Server Roaming for Mitigating Denial of Service Attacks
The main goal of the NETSEC project is to design and implement a framework for mitigating the effects of the node-based and link-based DoS attacks. Our strategy employs three lin...
Chatree Sangpachatanaruk, Sherif M. Khattab, Taieb...
LICS
2003
IEEE
14 years 1 months ago
Model checking for probability and time: from theory to practice
Probability features increasingly often in software and hardware systems: it is used in distributed co-ordination and routing problems, to model fault-tolerance and performance, a...
Marta Z. Kwiatkowska
MM
2003
ACM
148views Multimedia» more  MM 2003»
14 years 1 months ago
Nonparametric color characterization using mean shift
Color is very useful in locating and recognizing objects that occur in artificial environments. The color histogram has shown its efficiency and advantages as a general tool for v...
Ling-Yu Duan, Min Xu, Qi Tian, Changsheng Xu
PPOPP
2003
ACM
14 years 1 months ago
Compactly representing parallel program executions
Collecting a program’s execution profile is important for many reasons: code optimization, memory layout, program debugging and program comprehension. Path based execution pro...
Ankit Goel, Abhik Roychoudhury, Tulika Mitra
AGENTCL
2003
Springer
14 years 1 months ago
Conventional Signalling Acts and Conversation
This article aims to provide foundations for a new approach to Agent Communication Languages (ACLs). First, we present the theory of signalling acts. In contrast to current approa...
Andrew J. I. Jones, Xavier Parent