73 search results - page 4 / 15 » Automating the Design and Construction of Query Forms |
TSE
2012
11 years 11 months ago
2012
d Abstractions for Contract Validation Guido de Caso, Víctor Braberman, Diego Garbervetsky and Sebastián Uchitel —Pre/post condition-based specifications are common-place in a...
IDEAS
2002
IEEE
14 years 1 months ago
2002
IEEE
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
ICCCN
2007
IEEE
14 years 20 days ago
2007
IEEE
A good P2P file sharing system is usually expected to achieve the following design goals: scalability, routing efficiency and complex query support. In this paper, we propose such ...
ASE
2004
13 years 8 months ago
2004
The construction of interactive server-side Web applications differs substantially from the construction of traditional interactive programs. In contrast, existing Web programming...
DLOG
1997
13 years 10 months ago
1997
This paper proposes a novel interactive tool designed to support the graphical inspection of large semantic models. The idea is to view the iterative inspection process as a serie...