Sciweavers

7080 search results - page 615 / 1416
» Designing High Integrity Systems Using Aspects
Sort
View
GECCO
2004
Springer
15 years 12 months ago
Using Interconnection Style Rules to Infer Software Architecture Relations
Software design techniques emphasize the use of abstractions to help developers deal with the complexity of constructing large and complex systems. These abstractions can also be u...
Brian S. Mitchell, Spiros Mancoridis, Martin Trave...
SAFECOMP
2007
Springer
16 years 17 days ago
Using Deductive Cause-Consequence Analysis (DCCA) with SCADE
Abstract. Esterel Technologies’ SCADE Suite is one of the most important development tools for software for safety-critical systems. It is used for designing many critical compon...
Matthias Güdemann, Frank Ortmeier, Wolfgang R...
ISBI
2008
IEEE
16 years 7 months ago
System sensitivity in preclinical small animal imaging
Preclinical small animal imaging is an important tool at the disposition of biological researchers. While the range of studies performed by non-invasive preclinical imaging is gre...
Arion-Xenofon Chatziioannou, Nicolas A. Karakatsan...
STORAGESS
2005
ACM
16 years 20 hour ago
Hydra: a platform for survivable and secure data storage systems
This paper introduces Hydra, a platform that we are developing for highly survivable and secure data storage systems that distribute information over networks and adapt timely to ...
Lihao Xu
COMPSAC
2009
IEEE
16 years 1 months ago
A Contextual Guidance Approach to Software Security
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...
Philipp Schügerl, David Walsh, Juergen Rillin...