Sciweavers

6829 search results - page 1028 / 1366
» Quantitative Generalizations of Languages
Sort
View
WWW
2001
ACM
16 years 7 months ago
Integrating Software Agents into the HTTP Caching Infrastructure
Mobile software agents are an increasingly important programming model within the World Wide Web (WWW). Typically programmed in Java or another machine- independent language, the ...
Jesse Greenwald, Daniel Andresen
WWW
2001
ACM
16 years 7 months ago
An Effective and User-Friendly IDE Tool to Facilitate Conceptual Design and Maintenance of Web Applications
Web applications are growing in demand, complexity and size, thus making it difficult to systematically design and maintain general web applications. To aid in fulfilling these di...
Vincent Tam, C. S. Yeo
ICLP
2009
Springer
16 years 7 months ago
Encoding Table Constraints in CLP(FD) Based on Pair-Wise AC
We present an implementation of table constraints in CLP(FD). For binary constraints, the supports of each value are represented as a finite-domain variable, and action rules are u...
Neng-Fa Zhou
ICLP
2009
Springer
16 years 7 months ago
Modular Nonmonotonic Logic Programming Revisited
Recently, enabling modularity aspects in Answer Set Programming (ASP) has gained increasing interest to ease the composition of program parts to an overall program. In this paper, ...
Minh Dao-Tran, Thomas Eiter, Michael Fink, Thomas ...
CP
2009
Springer
16 years 7 months ago
Constraint-Based Optimal Testing Using DNNF Graphs
The goal of testing is to distinguish between a number of hypotheses about a systemfor example, dierent diagnoses of faults by applying input patterns and verifying or falsifying t...
Anika Schumann, Martin Sachenbacher, Jinbo Huang
« Prev « First page 1028 / 1366 Last » Next »