1585 search results - page 275 / 317 » A framework for computer-aided validation |
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Traditionally web applications have required an internet connection in order to work with data. Browsers have lacked any mechanisms to allow web applications to operate offline wi...
112
click to vote
WWW
2010
ACM
15 years 6 months ago
2010
ACM
Online reviews in which users publish detailed commentary about their experiences and opinions with products, services, or events are extremely valuable to users who rely on them ...
105
click to vote
EDBT
2009
ACM
15 years 6 months ago
2009
ACM
There has been an explosion of hyperlinked data in many domains, e.g., the biological Web. Expressive query languages and effective ranking techniques are required to convert this...
IDEAS
2009
IEEE
15 years 6 months ago
2009
IEEE
A natural consequence of the widespread adoption of XML as standard for information representation and exchange is the redundant storage of large amounts of persistent XML documen...
SEMWEB
2009
Springer
15 years 6 months ago
2009
Springer
GeRoMeSuite is a generic model management system which provides several functions for managing complex data models, such as schema integration, definition and execution of schema ...