8228 search results - page 1200 / 1646 » Structural Logical Relations |
190
click to vote
RE
2007
Springer
16 years 1 months ago
2007
Springer
Designing a secure and dependable system is not just a technical issue, it involves also a deep analysis of the organizational and the social environment in which the system will ...
154
click to vote
VMCAI
2007
Springer
16 years 1 months ago
2007
Springer
We define the class of single-parent heap systems, which rely on a singly-linked heap in order to model destructive updates on tree structures. This encoding has the advantage of ...
198
click to vote
WAIM
2007
Springer
16 years 1 months ago
2007
Springer
To solve the overlapping search of multidimensional spatial database containing large quantity of objects with dynamic spatial extent, this paper proposes an index structure named ...
163
click to vote
CLUSTER
2006
IEEE
16 years 29 days ago
2006
IEEE
In this work we present a parallel algorithm for the solution of a least squares problem with structured matrices. This problem arises in many applications mainly related to digit...
191
click to vote
CSMR
2006
IEEE
16 years 29 days ago
2006
IEEE
A trace is a record of the execution of a computer program, showing the sequence of operations executed. A trace may be obtained through static or dynamic analysis. An object trac...