3799 search results - page 161 / 760 » An Engineering Approach to Formal Methods |
ACSAC
2008
IEEE
14 years 3 months ago
2008
IEEE
Most intrusion detection systems apply the misuse detection approach. Misuse detection compares recorded audit data with predefined patterns denoted as signatures. A signature is ...
ER
1994
Springer
14 years 1 months ago
1994
Springer
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
SDL
2007
13 years 10 months ago
2007
Software metrics are an essential means to assess software quality. For the assessment of software quality, typically sets of complementing metrics are used since individual metric...
DASFAA
2004
IEEE
14 years 1 months ago
2004
IEEE
Data and computations of a CAD system have been wrapped by a mediator system using CORBA's IIOP Protocol. This allows ad hoc declarative mediator queries to be translated into...
APSEC
2005
IEEE
14 years 2 months ago
2005
IEEE
The design and development of complex software systems is a difficult task, and it is not easy to ensure the quality of a developed software. The paper presents an architectural ...