1981 search results - page 252 / 397 » Model-Checking Hierarchical Structures |
IV
2008
IEEE
14 years 3 months ago
2008
IEEE
Although Internet and WWW phenomena are often described using spatial metaphors, the commonest means of geographic orientation - the map - is little used in online navigation. Map...
SMI
2008
IEEE
14 years 3 months ago
2008
IEEE
In this paper a novel clustering algorithm is proposed, namely Variational Multilevel Mesh Clustering (VMLC). The algorithm incorporates the advantages of both hierarchical and va...
CIBCB
2007
IEEE
14 years 3 months ago
2007
IEEE
—Many dynamical processes can be represented as directed attributed graphs or Petri nets where relationships between various entities are explicitly expressed. Signaling networks...
ICCCN
2007
IEEE
14 years 3 months ago
2007
IEEE
—Motivated by the fact that most of the existing QoS service composition solutions have limited scalability, we develop a hierarchical-based solution framework to achieve scalabi...
IDEAS
2007
IEEE
14 years 3 months ago
2007
IEEE
The problem of data integration (query decomposition, data fragmentation) has been widely studied in literature, but the inherent hierarchical nature of XML data presents problems...