950 search results - page 145 / 190 » Free and Open Source Software |
166
Voted
SIGSOFT
2010
ACM
15 years 1 months ago
2010
ACM
The definition of a data structure may permit many different concrete representations of the same logical content. A (client) program that accepts such a data structure as input i...
163
Voted
RE
2010
Springer
14 years 10 months ago
2010
Springer
Trace links between requirements and code are essential for many software development and maintenance activities. Despite significant advances in traceability research, creating li...
131
Voted
ISBI
2006
IEEE
16 years 4 months ago
2006
IEEE
In this paper we evaluate three conceptually different approaches to mesh generation for deformable Finite Element Method (FEM) registration of Magnetic Resonance (MR) images of b...
124
Voted
PADL
2010
Springer
16 years 17 days ago
2010
Springer
Abstract. We address the problem of detecting some commonly occurring kinds of race conditions in Erlang programs using static analysis. Our analysis is completely automatic, fast ...
134
Voted
ISW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. The complexity of modern network architectures and the epidemic diffusion of malware require collaborative approaches for defense. We present a novel distributed system ...