1163 search results - page 157 / 233 » Case Studies of Model Checking for Embedded System Designs |
138
click to vote
AOIS
2003
15 years 5 months ago
2003
In this paper, we improve and extend the MaSE methodology to bridge the gaps in this methodology. First, we propose an improvement process and, based on this process, we report th...
135
click to vote
ANOR
2004
15 years 4 months ago
2004
Accurate knowledge of the effect of parameter uncertainty on process design and operation is essential for optimal and feasible operation of a process plant. Existing approaches de...
152
click to vote
ERSA
2009
15 years 2 months ago
2009
For a generic flexible efficient array antenna receiver platform a hierarchical reconfigurable tiled architecture has been proposed. The architecture provides a flexible reconfigur...
142
click to vote
UML
2000
Springer
15 years 7 months ago
2000
Springer
User interfaces (UIs) are essential components of most software systems, and significantly affect the effectiveness of installed applications. In addition, UIs often represent a s...
118
click to vote
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
In case of natural disasters or intentional attacks, telecommunication networks often get heavily damaged and current resilience schemes have proven to be insufficient for rapid r...