3972 search results - page 43 / 795 » Palpability Support Demonstrated |
COMMA
2006
13 years 10 months ago
2006
In this paper we discuss the integration of two systems that are based on a specific theory of argumentation: the first, an existing web-based discussion forum; the second, a metho...
DIWEB
2004
13 years 10 months ago
2004
Relational database systems are increasingly used to manage XML documents, especially for data-centric XML. In this paper we present a new approach to efficiently manage document-c...
DGO
2006
13 years 10 months ago
2006
This demonstration shows a prototype tool that projects an impression of how execution of a formally defined process will facilitate dispute resolution. Tool flexibility supports ...
PDSE
1998
13 years 10 months ago
1998
We present prominent features of AUTOFOCUS, a tool prototype for the formally based development of reactive systems. AUTOFOCUS supports system development offering integrated, com...
WSC
2000
13 years 10 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...