1981 search results - page 220 / 397 » Model-Checking Hierarchical Structures |
152
Voted
COMPASS
1994
15 years 6 months ago
1994
We give a notation and a logical calculus for the description and deductive manipulation of dynamic networks of communicating components. We represent such nets by hierarchical sys...
122
Voted
DLOG
2007
15 years 4 months ago
2007
Abstract. In the paper we propose a method of structuring a knowledge base into hierarchically related contexts and present how this arrangement influences the structure of TBox a...
128
Voted
CIMCA
2008
IEEE
15 years 4 months ago
2008
IEEE
XML has emerged as a common standard for data exchange over the World Wide Web. One way to manage XML data is to use the power of relational databases for storing and q...
83
Voted
PDPTA
2004
15 years 4 months ago
2004
There are many underlying hardware architectures for execution of parallel applications. One of these is the Network of Workstations (NOW) which is an interesting solution for use...
101
Voted
CGF
2010
15 years 2 months ago
2010
Geometry processing applications frequently rely on octree structures, since they provide simple and efficient hierarchies for discrete data. However, octrees do not guarantee dire...