5506 search results - page 669 / 1102 » Visualizing Software Changes |
162
click to vote
COMPSAC
1997
IEEE
15 years 10 months ago
1997
IEEE
Many real-time database systems are now being used in safety-critical applications, in which human lives or expensive machinery may be at stake. Transactions in real-time database...
139
click to vote
LCPC
1998
Springer
15 years 10 months ago
1998
Springer
: In this paper, theoretical aspects to demonstrate the accuracy of the Interval Test (the I test and the direction vector I test) to be applied for resolving the problem stated ab...
134
click to vote
COMPSAC
1996
IEEE
15 years 10 months ago
1996
IEEE
In this paper, we are concerned with the problem of designing optimal linear hashing files for orthogonal range retrieval. Through the study of performance expressions, we show th...
141
click to vote
TAPSOFT
1997
Springer
15 years 10 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...
172
Voted
ECSA
2007
Springer
15 years 10 months ago
2007
Springer
Architectural design has been characterized as making a series of decisions that have system-wide impact. These decisions have side effects which can have significant impact on the...