Sciweavers

367 search results - page 39 / 74
» Reverse engineering of framework design using a meta-pattern...
Sort
View
EMSOFT
2004
Springer
15 years 10 months ago
A model-based approach to integrating security policies for embedded devices
Embedded devices like smart cards can now run multiple interacting applications. A particular challenge in this domain is to dynamically integrate diverse security policies. In th...
Michael McDougall, Rajeev Alur, Carl A. Gunter
165
Voted
AUTONOMICS
2007
ACM
15 years 9 months ago
A framework to support multiple reconfiguration strategies
Self-management is a key feature of autonomic systems. This often demands the dynamic reconfiguration of a distributed application. An important issue in the reconfiguration proce...
Liliana Rosa, Luís Rodrigues, Antóni...
163
Voted
ICSE
2009
IEEE-ACM
16 years 2 days ago
Taming Dynamically Adaptive Systems using models and aspects
Since software systems need to be continuously available under varying conditions, their ability to evolve at runtime is increasingly seen as one key issue. Modern programming fra...
Brice Morin, Olivier Barais, Grégory Nain, ...
125
Voted
WSC
2004
15 years 6 months ago
The Use of Simulation to Support Major Transportation Planning Decisions
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
Beth C. Kulick
KBSE
2005
IEEE
15 years 11 months ago
Prufrock: a framework for constructing polytypic theorem provers
Current formal software engineering methodologies provide a vast array of languages for specifying correctness properties, as well as a wide assortment automated tools that aid in...
Justin Ward, Garrin Kimmell, Perry Alexander