2527 search results - page 433 / 506 » A UML-Based Approach to System Testing |
ACSAC
2005
IEEE
15 years 5 months ago
2005
IEEE
We propose a method to verify the result of attacks detected by signature-based network intrusion detection systems using lightweight protocol analysis. The observation is that ne...
ICPP
2005
IEEE
15 years 5 months ago
2005
IEEE
We describe a generic programming model to design collective communications on SMP clusters. The programming model utilizes shared memory for collective communications and overlap...
104
click to vote
RTAS
2005
IEEE
15 years 5 months ago
2005
IEEE
We consider the problem of energy minimization for periodic preemptive hard real-time tasks that are scheduled on an identical multiprocessor platform with dynamic voltage scaling...
KCAP
2005
ACM
15 years 5 months ago
2005
ACM
Effective reuse of Knowledge Bases (KBs) often entails the expensive task of identifying plausible KB-PS (Problem Solver) combinations. We propose a novel technique based on Const...
ACNS
2005
Springer
15 years 5 months ago
2005
Springer
We have developed techniques to automatically infer mother's maiden names from public records. We demonstrate our techniques using publicly available records from the state o...