1981 search results - page 207 / 397 » Model-Checking Hierarchical Structures |
131
Voted
WWW
2006
ACM
16 years 3 months ago
2006
ACM
Path expressions are the principal means of locating data in a hierarchical model. But path expressions are brittle because they often depend on the structure of data and break if...
138
Voted
CSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper, we propose to leverage social graphs from Online Social Networks (OSN) to improve the forwarding efficiency of mobile networks, more particularly Delay Tolerant ...
91
Voted
ICTAI
2008
IEEE
15 years 9 months ago
2008
IEEE
This paper presents a grammar-induction based approach to partitioning a Web page into several small pages while each small page fits not only spatially but also logically for mob...
114
click to vote
WISE
2005
Springer
15 years 8 months ago
2005
Springer
In this paper we describe the semantic partitioner algorithm, that uses the structural and presentation regularities of the Web pages to automatically transform them into hierarchi...
120
Voted
ESOP
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...