10159 search results - page 628 / 2032 » System Design Validation Using Formal Models |
205
Voted
WCRE
2007
IEEE
16 years 1 months ago
2007
IEEE
Our analysis of crosscutting concerns in real-life software systems (totaling over 500,000 LOC) and in reports from literature indicated a number of properties that allow for thei...
205
Voted
TCS
2010
15 years 5 months ago
2010
Robustness, the ability to analyze any input regardless of its grammaticality, is a desirable property for any system dealing with unrestricted natural language text. Error-repair...
166
click to vote
HASE
2007
IEEE
16 years 1 months ago
2007
IEEE
In order to facilitate incremental modeling and analysis of fault-tolerant embedded systems, we introduce an object analysis pattern, called the detector pattern, that provides a ...
177
Voted
ICSE
2004
IEEE-ACM
16 years 7 months ago
2004
IEEE-ACM
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
290
click to vote
MEMOCODE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract--This paper shows an implementation of CANSCID (Combined Architecture for Stream Categorization and Intrusion Detection). To satisfy the required system throughput, the pa...