1981 search results - page 201 / 397 » Model-Checking Hierarchical Structures |
137
Voted
ICFP
2008
ACM
16 years 2 months ago
2008
ACM
ML modules provide hierarchical namespace management, as well as fine-grained control over the propagation of type information, but they do not allow modules to be broken up into ...
127
Voted
AINA
2009
IEEE
15 years 9 months ago
2009
IEEE
—In this paper we introduce the notion of protein interaction network. This is a graph whose vertices are the protein’s amino acids and whose edges are the interactions between...
128
Voted
INFOCOM
2007
IEEE
15 years 9 months ago
2007
IEEE
Abstract— The Internet connectivity in the Autonomous System (AS) level reflects the commercial relationship between ASes. A connection between two ASes could be of type custome...
148
Voted
VL
2000
IEEE
15 years 7 months ago
2000
IEEE
This paper outlines DIAPLAN, a visual rule-based programming language and environment that is based on the computational model of graph transformation. Thanks to its genericity, D...
127
Voted
CGI
2004
IEEE
15 years 6 months ago
2004
IEEE
This paper presents a new method of combining dynamic control of LOD and conservative occlusion culling based on a new hierarchical data structure of polygons. Our method is effec...