7009 search results - page 322 / 1402 » Patterns in Complex Systems Modeling |
207
click to vote
CLEIEJ
2006
15 years 6 months ago
2006
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
155
click to vote
DSD
2006
IEEE
16 years 23 days ago
2006
IEEE
System Level Design (SLD) is widely seen as a solution for bridging the gap between chip complexity and design productivity of Systems on Chip (SoC). SLD relieves the designer fro...
190
click to vote
ISAS
2004
Springer
16 years 2 days ago
2004
Springer
Analytical and simulative modeling for dependability and performance evaluation has been proven to be a useful and versatile approach in all the phases of the system life cycle. I...
157
click to vote
CDC
2008
IEEE
16 years 1 months ago
2008
IEEE
Abstract— Symbolic models are abstract descriptions of continuous systems in which symbols represent aggregates of continuous states. In the last few years there has been a growi...
218
click to vote
ASWSD
2006
Springer
15 years 10 months ago
2006
Springer
Modern real-time embedded systems are complex, distributed, feature-rich applications. Model-based development of real-time embedded systems promises to simplify and accelerate the...