4099 search results - page 261 / 820 » A Framework for Interactive Proof |
266
click to vote
SIGMOD
2009
ACM
16 years 6 months ago
2009
ACM
In order to enable extensibility, modern query optimizers typically leverage a transformation rule based framework. Testing individual rule correctness as well as correctness of r...
157
click to vote
HICSS
2008
IEEE
16 years 1 months ago
2008
IEEE
Virtual worlds may be enabling technologies for the next generation of business models, practices and innovations in service. We situate our research within the field of service s...
178
click to vote
ICDM
2008
IEEE
16 years 1 months ago
2008
IEEE
Supervised approaches to Data Mining are particularly appealing as they allow for the extraction of complex relations from data objects. In order to facilitate their application i...
172
click to vote
ICEBE
2007
IEEE
16 years 27 days ago
2007
IEEE
In both E-Commerce (EC) and Service-Oriented Computing (SOC) environments, sellers or service providers interact with customers or service clients for services or transactions. Fr...
199
click to vote
ECOWS
2007
Springer
16 years 23 days ago
2007
Springer
Dynamic composition of web services is a promising approach and at the same time a challenging research area for the dissemination of serviceoriented applications. It is widely rec...