Sciweavers

5034 search results - page 229 / 1007
» A Content-Centric Development Process Model
Sort
View
148
Voted
SPIN
2009
Springer
15 years 10 months ago
Identifying Modeling Errors in Signatures by Model Checking
: Most intrusion detection systems deployed today apply misuse detection as analysis method. Misuse detection searches for attack traces in the recorded audit data using predefined...
Sebastian Schmerl, Michael Vogel, Hartmut Kön...
ECBS
2008
IEEE
110views Hardware» more  ECBS 2008»
15 years 10 months ago
Goal-Based Modeling of Dynamically Adaptive System Requirements
Self-adaptation is emerging as an increasingly important capability for many applications, particularly those deployed in dynamically changing environments, such as ecosystem moni...
Heather Goldsby, Peter Sawyer, Nelly Bencomo, Bett...
APIN
1998
98views more  APIN 1998»
15 years 3 months ago
The Evolution of Concurrent Programs
Process algebra are formal languages used for the rigorous specification and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...
Brian J. Ross
CSMR
2004
IEEE
15 years 7 months ago
Empirical Investigation of a Non-Intrusive Approach to Study Comprehension Cognitive Models
Usually software is maintained by people different from those who developed it. In this context the maintenance activities are dominated by the comprehension effort. The study of ...
Marco Torchiano
123
Voted
ICIP
2000
IEEE
16 years 5 months ago
Cancellation of Show-Through in Duplex Scanning
When scanning a page with printing on both sides, the printing on the back-side often shows through in the scan of the front-side because the page is not completely opaque. This p...
Gaurav Sharma