1683 search results - page 8 / 337 » A Needed Narrowing Strategy |
WCE
2007
13 years 8 months ago
2007
— Although experimentation is a frequent activity of engineers, they usually use primitive strategies to carry on their experiments. A survey identifies the needs of using an eff...
WWW
2004
ACM
14 years 8 months ago
2004
ACM
Web accessibility is an important goal. However, most approaches to its attainment are based on unrealistic economic models in which Web content developers spend too much and rece...
APLAS
2006
ACM
14 years 1 months ago
2006
ACM
The abstract domain of polyhedra is sufficiently expressive to be deployed in verification. One consequence of the richness of this domain is that long, possibly infinite, sequen...
ENTCS
2007
13 years 7 months ago
2007
We define a rewrite strategy for a class of non-confluent constructor-based term graph rewriting systems and discuss its correctness. Our strategy and its extension to narrowing...
EGOV
2006
Springer
13 years 9 months ago
2006
Springer
Improving the usability of government portal sites requires a focus shift from system to user in both research and design. Empirical studies into user behavior are needed to suppor...