Sciweavers

4008 search results - page 677 / 802
» An expressive language of signatures
Sort
View
ICDE
2009
IEEE
153views Database» more  ICDE 2009»
16 years 8 months ago
XBLEND: Visual XML Query Formulation Meets Query Processing
Due to the complexity of XML query languages, the need for visual query interfaces that can reduce the burden of query formulation is fundamental to the spreading of XML to wider c...
Zhou Yong, Sourav S. Bhowmick, Erwin Leonardi, Kla...
ICDE
2008
IEEE
218views Database» more  ICDE 2008»
16 years 7 months ago
AxPRE Summaries: Exploring the (Semi-)Structure of XML Web Collections
The nature of semistructured data in web collections is evolving. Increasingly, XML web documents (or documents exchanged via web services) are valid with regard to a schema, yet ...
Mariano P. Consens, Flavio Rizzolo, Alejandro A. V...
VIS
2009
IEEE
215views Visualization» more  VIS 2009»
16 years 7 months ago
Iconizer: A Framework to Identify and Create Effective Representations for Visual Information Encoding
concept form search query vision confirm consensus refine search query graphics VIE-designer image objects image objects Visual Sign (VIE) run search query words images Iconizer:...
Supriya Garg, Tamara Berg, Klaus Mueller
DAC
2002
ACM
16 years 7 months ago
High-Level specification and automatic generation of IP interface monitors
A central problem in functional verification is to check that a circuit block is producing correct outputs while enforcing that the environment is providing legal inputs. To attac...
Marcio T. Oliveira, Alan J. Hu
SIGSOFT
2009
ACM
16 years 7 months ago
Fitting the pieces together: a machine-checked model of safe composition
Programs of a software product line can be synthesized by composing features which implement a unit of program functionality. In most product lines, only some combination of featu...
Benjamin Delaware, William R. Cook, Don S. Batory