Sciweavers

371 search results - page 24 / 75
» Comparing models for identifying fault-prone software compon...
Sort
View
SP
2003
IEEE
121views Security Privacy» more  SP 2003»
15 years 5 months ago
Specifying and Verifying Hardware for Tamper-Resistant Software
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
David Lie, John C. Mitchell, Chandramohan A. Thekk...
ECSA
2011
Springer
13 years 11 months ago
Delta-oriented architectural variability using MontiCore
Modeling of software architectures is a fundamental part of software development processes. Reuse of software components and early analysis of software topologies allow the reduct...
Arne Haber, Thomas Kutz, Holger Rendel, Bernhard R...
SEUS
2008
IEEE
15 years 6 months ago
Model Based Synthesis of Embedded Software
Abstract— This paper presents SW synthesis using Embedded System Environment (ESE), a tool set for design of multicore embedded systems. We propose a classification of multicore...
Daniel D. Gajski, Samar Abdi, Ines Viskic
APSEC
2004
IEEE
15 years 3 months ago
Comparison of Scenario-Based Software Architecture Evaluation Methods
Software engineering community has proposed several methods to evaluate software architectures with respect to desired quality attributes such as maintainability, performance, and...
Muhammad Ali Babar, Ian Gorton
ENVSOFT
2008
60views more  ENVSOFT 2008»
14 years 12 months ago
A software tool for designing cost-effective compensation payments for conservation measures
Compensation payments to farmers who apply species-friendly farming activities are a common instrument to reconcile nature conservation with agriculture in Europe. In order to des...
Karin Ulbrich, Martin Drechsler, Frank Wätzol...