Sciweavers

129 search results - page 16 / 26
» Galileo: a tool built from mass-market applications
Sort
View
JAPLL
2010
98views more  JAPLL 2010»
13 years 6 months ago
Formalization of the ad hominem argumentation scheme
In this paper, several examples from the literature, and one central new one, are used as case studies of texts of discourse containing an argumentation scheme that has now been w...
Douglas Walton
SAFECOMP
2007
Springer
14 years 1 months ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
SIGMOD
2005
ACM
123views Database» more  SIGMOD 2005»
14 years 1 months ago
Magnet: Supporting Navigation in Semistructured Data Environments
With the growing importance of systems containing arbitrary semistructured relationships, the need for supporting users searching in such repositories has grown. Currently support...
Vineet Sinha, David R. Karger
ESCIENCE
2005
IEEE
14 years 1 months ago
Flexible IO Services in the Kepler Grid Workflow System
Existing Grid workflow tools assume that individual components either communicate by passing files from one application to another, or are explicitly linked using interprocess com...
David Abramson, Jagan Kommineni, Ilkay Altintas
IAAI
1993
13 years 8 months ago
ESDS: Materials Technology Knowledge Bases Supporting Design of Boeing Jetliners
This paper describes a large rule-based application called Engineering Standards Distribution System (ESDS). ESDS was built and deployed by Boeing and helps design engineers speci...
Mark A. Dahl