1809 search results - page 218 / 362 » A Formal Specification of dMARS |
177
Voted
ACSAC
2003
IEEE
16 years 10 days ago
2003
IEEE
1 DOD Joint Vision 2020 (JV2020) is the integrated multi-service planning document for conduct among coalition forces of future warfare. It requires the confluence of a number of k...
204
Voted
HICSS
2003
IEEE
16 years 9 days ago
2003
IEEE
Information requirements analysis for data warehouse systems differs significantly from requirements analysis for conventional information systems. Existing data warehouse specifi...
194
Voted
SEW
2003
IEEE
16 years 9 days ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
242
Voted
CBSQ
2003
Springer
16 years 8 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
179
Voted
IEAAIE
2003
Springer
16 years 7 days ago
2003
Springer
Integration of heterogeneous statistics is essential for political decision making on all levels. Like in intelligent information integration in general, the problem is to combine ...