2488 search results - page 428 / 498 » An improvement in formal verification |
117
click to vote
GIS
2009
ACM
15 years 8 months ago
2009
ACM
Gazetteers are key components of georeferenced information systems, including applications such as Web-based mapping services. Existing gazetteers lack the capabilities to fully i...
102
click to vote
ICDM
2009
IEEE
15 years 8 months ago
2009
IEEE
Recent advances in data clustering concern clustering ensembles and projective clustering methods, each addressing different issues in clustering problems. In this paper, we consi...
113
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—In hop-by-hop networks, provision of multipath routes for all nodes can improve fault tolerance and performance. In this paper we study the multipath route calculation by constr...
117
click to vote
INFOCOM
2009
IEEE
15 years 8 months ago
2009
IEEE
—Designing an overlay network for publish/subscribe communication in a system where nodes may subscribe to many different topics of interest is of fundamental importance. For sca...
112
click to vote
ADBIS
2009
Springer
15 years 8 months ago
2009
Springer
The inefficiency of integration processes—as an abstraction of workflow-based integration tasks—is often reasoned by low resource utilization and significant waiting times f...