27274 search results - page 5142 / 5455 » A framework for framework documentation |
166
click to vote
MIDDLEWARE
2004
Springer
16 years 9 hour ago
2004
Springer
: The next generation of scientific experiments and studies, popularly called as e-Science, is carried out by large collaborations of researchers distributed around the world engag...
173
click to vote
OOPSLA
2004
Springer
16 years 8 hour ago
2004
Springer
In the domain of hard real-time systems, which language is better: C++ or the Real-Time Specification for Java (RTSJ)? Although standard Java provides a more productive programmin...
164
Voted
PSD
2004
Springer
16 years 4 hour ago
2004
Springer
The development of new disclosure protection techniques is useful only insofar as those techniques are adopted by statistical agencies. In order for technical experts in disclosure...
180
click to vote
SAS
2004
Springer
16 years 2 hour ago
2004
Springer
Abstract. In this paper we investigate the existence of a deductive veri cation method based on a logic that describes pointer aliasing. The main idea of such a method is that the ...
177
click to vote
SIGADA
2004
Springer
16 years 1 hour ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...