367 search results - page 39 / 74 » Reverse engineering of framework design using a meta-pattern... |
127
click to vote
EMSOFT
2004
Springer
15 years 7 months ago
2004
Springer
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...
131
click to vote
AUTONOMICS
2007
ACM
15 years 5 months ago
2007
ACM
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...
131
click to vote
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
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...
WSC
2004
15 years 3 months ago
2004
When major transportation infrastructures such as freight corridors or port systems are being planned, there are typically multiple phases of preliminary engineering required. Dur...
137
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
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...