2488 search results - page 166 / 498 » An improvement in formal verification |
100
click to vote
RAID
2004
Springer
15 years 6 months ago
2004
Springer
We present a formal framework for the analysis of intrusion detection systems (IDS) that employ declarative rules for attack recognition, e.g. specification-based intrusion detect...
146
click to vote
ASE
1998
15 years 28 days ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
100
click to vote
CAISE
2005
Springer
15 years 6 months ago
2005
Springer
Business domain ontologies offer great opportunities for facilitating communication between people in business, for improving the enterprise system engineering processes and for cr...
112
click to vote
KSEM
2010
Springer
14 years 11 months ago
2010
Springer
We examine the practicality for a user of using Answer Set Programming (ASP) for representing logical formalisms. Our example is a formalism aiming at capturing causal explanation...
131
click to vote
SEMCO
2009
IEEE
15 years 8 months ago
2009
IEEE
— In this paper we present an automated support for software model evolution using a formal language constructs. For this, we extended Object Constraint Language (OCL) with actio...