747 search results - page 92 / 150 » Toward a software development methodology for anonymity appl... |
EMSOFT
2007
Springer
14 years 2 months ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...
SP
2002
IEEE
13 years 8 months ago
2002
IEEE
Software development is getting more and more complex, especially within distributed middleware-based environments. A major drawback during the overall software development proces...
DAC
2010
ACM
13 years 10 months ago
2010
ACM
In this study, we propose the use of specialized influence models to capture the dynamic behavior of a Network-onChip (NoC). Our goal is to construct a versatile modeling framewor...
ISBI
2006
IEEE
14 years 9 months ago
2006
IEEE
The emergence of open-source libraries and development tools in the last decade has changed the process of academic software development in many ways. In medical image processing ...
JPDC
2008
13 years 8 months ago
2008
Cluster computing has become an essential issue for designing immersive visualization systems. This paradigm employs scalable clusters of commodity computers with much lower costs...