1336 search results - page 206 / 268 » SMTP Path Analysis |
107
click to vote
CADE
2002
Springer
16 years 5 days ago
2002
Springer
Abstract. We investigate the combination of propositional SAT checkers with domain-specific theorem provers as a foundation for bounded model checking over infinite domains. Given ...
190
click to vote
VLDB
2009
ACM
16 years 3 days ago
2009
ACM
Information is valuable to users when it is available not only at the right time but also at the right place. To support efficient location-based data access in wireless data broad...
EDBT
2002
ACM
16 years 4 hour ago
2002
ACM
Managing multiple versions of XML documents represents a critical requirement for many applications. Also, there has been much recent interest in supporting complex queries on XML ...
110
click to vote
EDBT
2006
ACM
16 years 3 hour ago
2006
ACM
Nearest neighbor (NN) queries have been extended from Euclidean spaces to road networks. Existing approaches are either based on Dijkstra-like network expansion or NN/distance prec...
EDBT
2008
ACM
16 years 3 hour ago
2008
ACM
Data Stream Management Systems (DSMSs) must support optimized execution scheduling of multiple continuous queries on massive, and frequently bursty, data streams. Previous approac...