2250 search results - page 266 / 450 » Interactive Explanation of Software Systems |
170
click to vote
CAV
2009
Springer
16 years 7 months ago
2009
Springer
A new static analyzer is described, based on the analyzer Fluctuat. Its goal is to synthetize invariants for hybrid systems, encompassing a continuous environment described by a sy...
167
Voted
ATAL
2003
Springer
16 years 5 days ago
2003
Springer
This paper introduces a methodology to help the programmer in the transition from a set of desired global properties expressed as an equation-based model (EBM) that a Multi-Agent ...
190
Voted
COMPSAC
2002
IEEE
15 years 12 months ago
2002
IEEE
Visual Query Languages represent an evolution, in terms of understandability and adaptability, with respect to traditional textual languages. We present an iconic query system tha...
177
click to vote
UIST
1997
ACM
15 years 11 months ago
1997
ACM
This paper describes our experiences implementing a component architecture for TeamWave Workplace, an integrated groupware environment using a rooms metaphor. The problem we faced...
141
click to vote
AVI
1996
15 years 8 months ago
1996
A framework for user-interfaces to databases (IDSs) is proposed which draws from existing research on human computer interaction (HCI) and database systems. The framework is descr...