4117 search results - page 785 / 824 » On the Satisfiability of Complex Constraints |
234
click to vote
VLDB
2003
ACM
16 years 6 months ago
2003
ACM
On the Semantic Web, data will inevitably come from many different ontologies, and information processing across ontologies is not possible without knowing the semantic mappings be...
183
click to vote
PODS
2007
ACM
16 years 6 months ago
2007
ACM
The generalized hypertree width GHW(H) of a hypergraph H is a measure of its cyclicity. Classes of conjunctive queries or constraint satisfaction problems whose associated hypergr...
176
click to vote
ICSE
2004
IEEE-ACM
16 years 5 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
143
click to vote
MOBISYS
2007
ACM
16 years 5 months ago
2007
ACM
We envision a new better-together mobile application paradigm where multiple mobile devices are placed in a close proximity and study a specific together-viewing video application...
151
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
In this paper, we present COSMOS, a novel architecture for macroprogramming heterogeneous sensor network systems. Macroprogramming entails aggregate system behavior specification...