4209 search results - page 787 / 842 » Abstract Dialectical Frameworks |
SIGMOD
2001
ACM
15 years 10 months ago
2001
ACM
We study the problem of generating e cient, equivalent rewritings using views to compute the answer to a query. We take the closed-world assumption, in which views are materialize...
PERCOM
2003
ACM
15 years 9 months ago
2003
ACM
Abstract-- The rapid advances in a wide range of wireless access technologies along with the efficient use of smart spaces have already set the stage for development of smart homes...
106
click to vote
POPL
2010
ACM
15 years 7 months ago
2010
ACM
We present Low-Level Liquid Types, a refinement type system for C based on Liquid Types. Low-Level Liquid Types combine refinement types with three key elements to automate verifi...
ICDE
2010
IEEE
15 years 7 months ago
2010
IEEE
— Multi-criteria decision support (MCDS) is crucial in many business and web applications such as web searches, B2B portals and on-line commerce. Such MCDS applications need to r...
ICWS
2009
IEEE
15 years 7 months ago
2009
IEEE
ite Web service designed based on abstract Web services, which define only interfaces, allows an application developer to select services required for his application only by set...