429 search results - page 41 / 86 » A SAT approach to query optimization in mediator systems |
DAC
2006
ACM
16 years 23 days ago
2006
ACM
Design and verification of systems at the Register-Transfer (RT) or behavioral level require the ability to reason at higher levels of abstraction. Difference logic consists of an...
196
click to vote
SIGMOD
2009
ACM
16 years 19 hour ago
2009
ACM
Composite (or Complex) event processing (CEP) systems search sequences of incoming events for occurrences of userspecified event patterns. Recently, they have gained more attentio...
89
Voted
GIS
2002
ACM
14 years 11 months ago
2002
ACM
In mobile field data collection, data gatherer requires to get geospatial information service to support in navigating to the right locations, describing context of observed objec...
SASO
2009
IEEE
15 years 6 months ago
2009
IEEE
Swarming agents often operate in benign geographic topologies that let them explore alternative trajectories with minor variations that the agent dynamics then amplify for improve...
130
click to vote
CORR
2007
Springer
14 years 11 months ago
2007
Springer
Information integration applications, such as mediators or mashups, that require access to information resources currently rely on users manually discovering and integrating them ...