1002 search results - page 157 / 201 » Reasoning about Object Structures Using Ownership |
VR
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a real-time database modeling complex networks of intersecting roads and walkways in urban virtual environments. The database represents information about the ...
BMCBI
2010
13 years 10 months ago
2010
Background: It has been apparent in the last few years that small non coding RNAs (ncRNA) play a very significant role in biological regulation. Among these microRNAs (miRNAs), 22...
GIS
2004
ACM
14 years 11 months ago
2004
ACM
Triangular Irregular Network (TIN) and Regular Square Grid (RSG) are widely used for representing 2.5 dimensional spatial data. However, these models are not defined from the topo...
ENTCS
2008
13 years 10 months ago
2008
We formalize higher-order separation logic for a first-order imperative language with procedures and local variables in Isabelle/HOLCF. The assertion language is modeled in such a...
IJWIS
2007
13 years 9 months ago
2007
Purpose – This paper aims to address some security issues in open systems such as service-oriented applications and grid computing. It proposes a security framework for these sy...