6104 search results - page 1161 / 1221 » Constructing Information Bases Using Associative Structures |
ISPAN
2002
IEEE
15 years 4 months ago
2002
IEEE
Many applications written in C allocate memory blocks for their major data structures from the heap space at runtime. The analysis of heap-oriented pointers in such programs is cr...
PDP
2002
IEEE
15 years 4 months ago
2002
IEEE
AURA (Advanced Uncertain Reasoning Architecture) is a generic family of techniques and implementations intended for high-speed approximate search and match operations on large uns...
PCI
2001
Springer
15 years 4 months ago
2001
Springer
Formal modeling of complex systems is a non-trivial task, especially if a formal method does not facilitate separate development of the components of a system. This paper describes...
111
click to vote
POLICY
2001
Springer
15 years 4 months ago
2001
Springer
The Ponder language provides a common means of specifying security policies that map onto various access control implementation mechanisms for firewalls, operating systems, databas...
IWPC
1999
IEEE
15 years 4 months ago
1999
IEEE
Recent research suggests that large software systems should have a documented system architecture. One form of documentation that may help describe the structure of software syste...