Sciweavers

1804 search results - page 293 / 361
» Use Cases in Model-Driven Software Engineering
Sort
View
151
Voted
FM
2003
Springer
115views Formal Methods» more  FM 2003»
15 years 8 months ago
Model Checking FTA
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
Andreas Thums, Gerhard Schellhorn
142
Voted
ICSM
2002
IEEE
15 years 8 months ago
From Legacy to Web through Interaction Modeling
In the context of the CelLEST project, we have been investigating the problem of reengineering and reusing the services provided by legacy applications, running on mainframe hosts...
Eleni Stroulia, Mohammad El-Ramly, Paul G. Sorenso...
143
Voted
IUI
1997
ACM
15 years 7 months ago
Evaluating the Utility and Usability of an Adaptive Hypermedia System
We have evaluated an adaptive hypermedia system, PUSH, and compared it to a non-adaptive variant of the same system. Based on an inferred information-seeking task, PUSH chooses wh...
Kristina Höök
IUI
1993
ACM
15 years 7 months ago
The price of flexibility
The goal of this paper is to model an agent who dislikes large choice sets because of the “cost of thinking” involved in choosing from them. We take as a primitive a preferenc...
David D. Woods
112
Voted
CODES
2004
IEEE
15 years 7 months ago
Tuning SoC platforms for multimedia processing: identifying limits and tradeoffs
We present a analytical framework to identify the tradeoffs and performance impacts associated with different SoC platform configurations in the specific context of implementing m...
Alexander Maxiaguine, Yongxin Zhu, Samarjit Chakra...