3396 search results - page 414 / 680 » Tree representations of graphs |
213
click to vote
FM
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
188
click to vote
DLOG
2003
15 years 8 months ago
2003
In this chapter, we are concerned with the relationship between Description Logics and other formalisms, regardless of whether they were designed for knowledge representation issu...
180
click to vote
WWW
2008
ACM
16 years 7 months ago
2008
ACM
This paper studies the problem of unified ranked retrieval of heterogeneous XML documents and Web data. We propose an effective search engine called Sailer to adaptively and versa...
203
click to vote
ICDCSW
2009
IEEE
16 years 1 months ago
2009
IEEE
We describe a novel Geometric Localized Routing (GLR) protocol in Disruption (Delay) Tolerant Network (DTN). Although DTNs do not guarantee the connectivity of the network all the...
186
click to vote
INFOCOM
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— We consider the computational complexity and algorithm challenges in designing survivable access networks. With limited routing capability, the structure of an access n...