601 search results - page 17 / 121 » Argumentation support: from technologies to tools |
TACAS
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We present jETI, a redesign of the Electronic Tools Integration platform (ETI), that addresses the major issues and concerns accumulated over seven years of experience wi...
104
click to vote
CANDT
2009
15 years 3 months ago
2009
HCI, CSCW, and ubicomp researchers have developed new technologies and interaction techniques to support collaboration, ranging from electronic whiteboards to software supporting ...
IV
2009
IEEE
15 years 6 months ago
2009
IEEE
Information synthesis is a key portion of the analysis process with visual analytics tools. This stage of work requires users to collect, organize, and add meaning to individual a...
103
click to vote
EATIS
2007
ACM
15 years 3 months ago
2007
ACM
This paper presents a new fault injection tool called Exhaustif (Exhaustive Workbench for Systems Reliability). Exhaustif is a SWIFI fault injection tool for fault tolerance verif...
ICCAD
2002
IEEE
15 years 8 months ago
2002
IEEE
New electronics technologies are emerging which may carry us beyond the limits of lithographic processing down to molecularscale feature sizes. Devices and interconnects can be ma...