328 search results - page 16 / 66 » Requirements Inheritance in Continuous Requirements Engineer... |
177
click to vote
SIGMOD
2000
ACM
15 years 10 months ago
2000
ACM
Continuous queries are persistent queries that allow users to receive new results when they become available. While continuous query systems can transform a passive web into an ac...
134
click to vote
ICSE
2000
IEEE-ACM
15 years 9 months ago
2000
IEEE-ACM
This paper presents a technique for incrementally constructing safety specifications, abstract algorithm descriptions, and simulation proofs showing that algorithms meet their spe...
153
click to vote
FPGA
2009
ACM
16 years 22 days ago
2009
ACM
PERG is a pattern matching engine designed for locating predefined byte string patterns (rules) from the ClamAV virus signature database in a data stream. This paper presents PERG...
132
click to vote
MODELS
2007
Springer
16 years 2 days ago
2007
Springer
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
176
click to vote
SMA
2005
ACM
15 years 11 months ago
2005
ACM
Numerous simplification methods have been proposed for speeding up engineering analysis/ simulation. A recently proposed medial axis reduction is one such method, that is particul...