1163 search results - page 106 / 233 » Case Studies of Model Checking for Embedded System Designs |
142
click to vote
KBSE
2008
IEEE
15 years 11 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
128
click to vote
ICSM
2006
IEEE
15 years 10 months ago
2006
IEEE
Software design patterns are documented best practice solutions that can be applied to reoccurring problems. Although well documented, there are often opportunities to apply them ...
156
click to vote
RTCSA
2006
IEEE
15 years 10 months ago
2006
IEEE
To build a “correct” implementation from a model of a concurrent real-time system, it is important to understand the relation between the properties of the model and of its co...
122
click to vote
INTERACT
2007
15 years 5 months ago
2007
The design of usable yet secure systems raises crucial questions when it comes to balancing properly security and usability. Finding the right tradeoff between these two quality at...
172
click to vote
DATE
2009
IEEE
15 years 7 months ago
2009
IEEE
—Power management at any abstraction level is a key issue for many mobile multimedia and embedded applications. In this paper a design workflow to generate system-level power mo...