10072 search results - page 1794 / 2015 » Composition of Model Programs |
172
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
This paper presents a specification-based approach for systematic testing of products from a software product line. Our approach uses specifications given as formulas in Alloy, a ...
166
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
One of the several initiatives to bridge the digital divide in developing countries has been the deployment of information kiosks or knowledge centers in villages in rural parts o...
160
click to vote
WWW
2007
ACM
16 years 7 months ago
2007
ACM
We present a load generator and performance measurement tool (AutoPerf ) which requires minimal input and configuration from the user, and produces a comprehensive capacity analys...
152
click to vote
WWW
2005
ACM
16 years 7 months ago
2005
ACM
In an environment of distributed text collections, the first step in the information retrieval process is to identify which of all available collections are more relevant to a giv...
196
click to vote
WWW
2004
ACM
16 years 7 months ago
2004
ACM
Designing web sites is a complex task. Ad-hoc rapid prototyping easily leads to unsatisfactory results, e.g. poor maintainability and extensibility. However, existing web design f...