1429 search results - page 73 / 286 » An Overview of the Annex System |
108
Voted
KBSE
1999
IEEE
15 years 5 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 ...
100
Voted
HT
1998
ACM
15 years 5 months ago
1998
ACM
The MAPA system provides improved navigation facility for large web sites. It extracts a hierarchical structure from an arbitrary web site, with some minimal user assistance, and ...
UML
1997
Springer
15 years 4 months ago
1997
Springer
In this paper we show by using the example of UML, how a software engineering method can bene t from an integrative mathematical foundation. The mathematical foundation is given b...
100
click to vote
CNSR
2010
IEEE
15 years 3 months ago
2010
IEEE
In the past few years the security issues in the supervisory control and data acquisition (SCADA) system have been investigated, and many security mechanisms have been proposed fro...
109
click to vote
COLING
1994
15 years 2 months ago
1994
This paper presents a brief overview of the bidirectional (Japanese and English) TransferDriven Machine Translation system, currently being developed at ATR. The aim of this devel...