10159 search results - page 137 / 2032 » System Design Validation Using Formal Models |
126
click to vote
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Time-triggered systems are distributed systems in which the nodes are independently-clocked but maintain synchrony with one another. Time-triggered protocols depend on the synchro...
109
Voted
CN
2004
15 years 2 months ago
2004
A number of web cache-related algorithms, such as replacement and prefetching policies, rely on specific characteristics present in the sequence of requests for efficient performa...
137
click to vote
IMCSIT
2010
14 years 11 months ago
2010
The deployment of IEC61850 standard in the world of substation automation system brings to the use of specific strategies for architecture testing. To validate IEC61850 architectur...
107
click to vote
BMCBI
2007
15 years 2 months ago
2007
Background: The need to build a tool to facilitate the quick creation and editing of models encoded in the Systems Biology Markup language (SBML) has been growing with the number ...
103
Voted
MODELS
2009
Springer
15 years 8 months ago
2009
Springer
The second ACES-MB workshop brought together researchers and practitioners interested in model-based software engineering for realtime embedded systems, with a particular focus on ...