537 search results - page 58 / 108 » tools 1999 |
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
Many domain specialists are not familiar or comfortable with formal notations and formal tools like theorem provers or model generators. To address this problem we developed Attem...
KBSE
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
EMISA
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The purpose of a computerized information system is to improve dataintensive business processes in an organization. The development of such systems itself is data-intensi...
LCN
1999
IEEE
15 years 2 months ago
1999
IEEE
Maintaining the integrity of large-scale networks is becoming an increasingly daunting task as networks expand at an unprecedented rate. The majority of present network monitoring...
ER
1999
Springer
15 years 2 months ago
1999
Springer
. When publishing documents on the web, the user needs to describe and classify her documents for the benefit of later retrieval and use. This paper presents an approach to semanti...