2149 search results - page 332 / 430 » Engineering Adaptive Web Applications |
PLDI
2010
ACM
14 years 5 months ago
2010
ACM
Dependent types provide a strong foundation for specifying and verifying rich properties of programs through type-checking. The earliest implementations combined dependency, which...
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
An increasing number of cyber attacks are occurring at the application layer when attackers use malicious input. These input validation vulnerabilities can be exploited by (among ...
TSD
2007
Springer
14 years 2 months ago
2007
Springer
Sound ontologies need to incorporate source unidentifiable sounds in an adequate and consistent manner. Computational lexical resources like WordNet have either inserted these des...
WECWIS
2002
IEEE
14 years 26 days ago
2002
IEEE
Exploring an appropriate business application published as a Web Service in the UDDI registry is a critical issue. Search for such an application should be effective in terms of t...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
In the light of image retrieval evolving from text annotation to content-based and from standalone applications to web-based search engines, we foresee the need for deploying cont...