Sciweavers

3579 search results - page 143 / 716
» Transformations of software models into performance models
Sort
View
ESSOS
2010
Springer
16 years 1 months ago
Automatic Generation of Smart, Security-Aware GUI Models
In many software applications, users access application data using graphical user interfaces (GUIs). There is an important, but little explored, link between visualization and secu...
David A. Basin, Manuel Clavel, Marina Egea, Michae...
109
Voted
ENTCS
2006
127views more  ENTCS 2006»
15 years 4 months ago
Tool support for MOLA
The paper describes the MOLA Tool, which supports the model transformation language MOLA. MOLA Tool consists of two parts: MOLA definition environment and MOLA execution environme...
Audris Kalnins, Edgars Celms, Agris Sostaks
161
Voted
ISSRE
2008
IEEE
15 years 11 months ago
Using Fault Modeling in Safety Cases
For many safety-critical systems a safety case is built as part of the certification or acceptance process. The safety case assembles evidence to justify that the design and imple...
Robyn R. Lutz, Ann Patterson-Hine
ISPD
1997
ACM
104views Hardware» more  ISPD 1997»
15 years 8 months ago
Timing driven placement in interaction with netlist transformations
In this paper, we present a new approach that performs timing driven placement for standard cell circuits in interaction with netlist transformations. As netlist transformations a...
Guenter Stenz, Bernhard M. Riess, Bernhard Rohflei...
ITNG
2008
IEEE
15 years 11 months ago
Towards a Model Driven Autonomic Management System
— Distributed software environments are increasingly complex and difficult to manage, as they integrate various legacy software with specific management interfaces. Moreover, t...
Laurent Broto, Daniel Hagimont, Estella Annoni, Be...