229 search results - page 9 / 46 » Research Issues in the Automated Testing of Ajax Application... |
121
click to vote
JSC
2000
15 years 7 days ago
2000
Tarski-Givant's map calculus is briefly reviewed, and a plan of research is outlined aimed at investigating applications of this ground equational formalism in the theorem-pr...
174
Voted
ECOWS
2011
Springer
14 years 7 days ago
2011
Springer
Abstract—One of the key concepts of service-oriented computing is dynamic binding which favors on-demand integration of services into a running system. Companies can outsource ta...
88
Voted
KR
2000
Springer
15 years 4 months ago
2000
Springer
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
CHI
2007
ACM
16 years 25 days ago
2007
ACM
Biological research in the field is constrained by the speed and difficulty of species determination, as well as by access to relevant information about the species encountered. H...
85
Voted
DAC
2001
ACM
16 years 1 months ago
2001
ACM
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...