1981 search results - page 203 / 397 » Model-Checking Hierarchical Structures |
104
Voted
DOCENG
2006
ACM
15 years 8 months ago
2006
ACM
Multistructured documents are documents whose structure is composed of a set of concurrent hierarchical structures. In this paper, we propose a new model of multistructured docume...
106
Voted
AMAST
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. This paper shows how systems can be built from their component parts with specified sharing. Its principle contribution is a modular language for configuring systems. A c...
121
Voted
BIRTHDAY
2006
Springer
15 years 6 months ago
2006
Springer
Logic and object-orientation (OO) are competing ways of looking at the world. Both view the world in terms of individuals. But logic focuses on the relationships between individual...
124
Voted
LWA
2008
15 years 4 months ago
2008
In order to support the navigation in huge document collections efficiently, tagged hierarchical structures can be used. Often, multiple tags are used to describe resources. For u...
132
click to vote
VIP
2001
15 years 4 months ago
2001
Videos contain rich information. Until recently, information within a video had been largely left under-utilized, with fast forward/rewind as the most popular method of accessing ...