Sciweavers

8503 search results - page 425 / 1701
» Secure Software Architectures
Sort
View
DAC
2006
ACM
16 years 7 months ago
Efficient detection and exploitation of infeasible paths for software timing analysis
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
Vivy Suhendra, Tulika Mitra, Abhik Roychoudhury, T...
RTAS
2000
IEEE
15 years 10 months ago
An Approach for Supporting Temporal Partitioning and Software Reuse in Integrated Modular Avionics
The Integrated Modular Avionics (IMA) approach can achieve lower overall hardware costs and reduced level of spares by getting multiple applications that have traditionally been i...
Mohamed F. Younis, Mohamed Aboutabl, Daeyoung Kim
IWEC
2007
15 years 8 months ago
Pass the Ball: Game-Based Learning of Software Design
Based on our experience using active learning methods to teach object-oriented software design we propose a game-based approach to take the classroom experience into a virtual envi...
Guillermo Jiménez-Díaz, Mercedes G&o...
ANSOFT
2000
104views more  ANSOFT 2000»
15 years 6 months ago
An experiment on creating scenario profiles for software change
Scenario profiles are used increasingly often for the assessment of quality attributes during the architectural design of software systems. However, the definition of scenario pro...
PerOlof Bengtsson, Jan Bosch
ICSE
2004
IEEE-ACM
16 years 7 months ago
Elaborating Security Requirements by Construction of Intentional Anti-Models
Caring for security at requirements engineering time is a message that has finally received some attention recently. However, it is not yet very clear how to achieve this systemat...
Axel van Lamsweerde