Sciweavers

FM
2006
Springer
148views Formal Methods» more  FM 2006»
14 years 1 months ago
Automatic Translation from Circus to Java
Abstract. Circus is a combination of Z and CSP that supports the development of state-rich reactive systems based on refinement. In this paper we present JCircus, a tool that autom...
Angela Freitas, Ana Cavalcanti
IAT
2009
IEEE
14 years 1 months ago
A Multi Facet Representation of a Fuzzy Ontology Population
This work proposes a system process for extracting automatically a fuzzy ontology from a collection of web resources. The approach exploits the Formal Concept Analysis theory for ...
Carmen De Maio, Giuseppe Fenza, Vincenzo Loia, Sab...
VL
1998
IEEE
172views Visual Languages» more  VL 1998»
14 years 1 months ago
VIQING: Visual Interactive Querying
This paper presents VIQING, an environment for expressing queries via direct manipulation of data visualizations. VIQING provides a simple graphical interface for connecting visua...
Chris Olston, Michael Stonebraker, Alexander Aiken...