537 search results - page 49 / 108 » tools 1999 |
80
Voted
PRDC
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper evaluates the behavior of a common off-theshelf (COTS) database management system (DBMS) in presence of transient faults. Database applications have traditionally been ...
ARTS
1999
Springer
15 years 2 months ago
1999
Springer
This paper discusses the adaptation of the PVS theorem prover for performing analysis of real-time systems written in the ASTRAL formal specification language. A number of issues w...
CHI
1999
ACM
15 years 2 months ago
1999
ACM
The VisMap system provides for “visual manipulation” of arbitrary off-the-shelf applications, through an application’s graphical user interface. VisMap’s API-independent c...
100
click to vote
HASE
1999
IEEE
15 years 2 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
ICCBR
1999
Springer
15 years 2 months ago
1999
Springer
Abstract. The development of successful case-based design aids depends both on the CBR processes themselves and on crucial questions of integrating the CBR system into the larger t...