8810 search results - page 146 / 1762 » Openness |
GI
2009
Springer
15 years 8 months ago
2009
Springer
: Spezielle Anforderungen an Software führen häufig zu aufwändigen, lang andauernden und damit teuren Neuentwicklungen. Funktionsfähige Prototypen entstehen i.d.R. erst im Lauf...
136
click to vote
OSS
2009
Springer
15 years 8 months ago
2009
Springer
Background: The number of reported empirical studies of Open Source Software (OSS) has continuously been increasing. However, there has been no effort to systematically review the ...
135
Voted
SP
2000
IEEE
15 years 7 months ago
2000
IEEE
Although open-source software development has virtues, there is reason to believe that the approach would not have a significant effect on the security of today’s systems. The ...
134
Voted
AOSD
2007
ACM
15 years 7 months ago
2007
ACM
We define and study bisimulation for proving contextual equivalence in an aspect extension of the untyped lambda-calculus. To our knowledge, this is the first study of coinductive...
123
Voted
CP
2006
Springer
15 years 7 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...