12118 search results - page 2280 / 2424 » User interface tools |
134
click to vote
WWW
2006
ACM
16 years 3 months ago
2006
ACM
During a lifecycle of a large-scale Web application, Web developers produce a wide variety of inter-related Web objects. Following good Web engineering practice, developers often ...
129
click to vote
WWW
2004
ACM
16 years 3 months ago
2004
ACM
The emerging standards for the publication of Web Services are focused on the specification of the static interfaces of the operations to be invoked, or on the service composition...
135
click to vote
WWW
2003
ACM
16 years 3 months ago
2003
ACM
The move towards a semantic web will produce an increasing number of presentations whose creation is based upon semantic queries. Intelligent presentation generation engines have ...
231
click to vote
PADL
2009
Springer
16 years 3 months ago
2009
Springer
Abstract. For practical applications, the use of top-down query-driven proofprocedures is essential for an efficient use and computation of answers using Logic Programs as knowledg...
158
click to vote
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
This paper considers the problem of formal verification of MPI programs operating under a fixed test harness for safety properties without building verification models. In our app...