Sciweavers

4609 search results - page 756 / 922
» Automatic Generation of Sigma-Protocols
Sort
View
RAID
2004
Springer
15 years 11 months ago
Anomalous Payload-Based Network Intrusion Detection
We present a payload-based anomaly detector, we call PAYL, for intrusion detection. PAYL models the normal application payload of network traffic in a fully automatic, unsupervised...
Ke Wang, Salvatore J. Stolfo
RE
2004
Springer
15 years 11 months ago
Goal-Oriented Requirements Animation
Requirements engineers need to make sure that the requirements models and specifications they are building do accurately capture what stakeholders really want. Requirements animat...
Hung Tran Van, Axel van Lamsweerde, Philippe Masso...
SPIN
2004
Springer
15 years 11 months ago
Translation from Adapted UML to Promela for CORBA-Based Applications
Nowadays, many distributed applications take advantage of the transparent distributed object systems provided by CORBA middlewares. While greatly reduce the design and coding effo...
Jessica Chen, Hanmei Cui
WOMPAT
2004
Springer
15 years 11 months ago
Runtime Adjustment of Parallel Nested Loops
OpenMP allows programmers to specify nested parallelism in parallel applications. In the case of scientific applications, parallel loops are the most important source of paralleli...
Alejandro Duran, Raúl Silvera, Julita Corba...
CLUSTER
2003
IEEE
15 years 11 months ago
HPCM: A Pre-Compiler Aided Middleware for the Mobility of Legacy Code
Mobility is a fundamental functionality of the next generation internet computing. How to support mobility for legacy codes, however, is still an issue of research. The key to sol...
Cong Du, Xian-He Sun, Kasidit Chanchio