4348 search results - page 170 / 870 » Using UML for Modeling Complex Real-Time Systems |
132
Voted
SIMUTOOLS
2008
15 years 6 months ago
2008
Model checking is a suitable formal technique to analyze parallel programs' execution in an industrial context because automated tools can be designed and operated with very ...
127
click to vote
PARMA
2004
15 years 6 months ago
2004
The concept of pattern, meant as an interesting knowledge artifact extracted from data, is considered to be a an effective answer to the advanced analysis requirements emerging in ...
142
Voted
ADAEUROPE
2007
Springer
15 years 11 months ago
2007
Springer
In this article, we experiment a way to extend an Ada library called Cheddar. Cheddar provides a domain specific language. Programs written with this domain specific language can...
139
click to vote
DIWEB
2001
15 years 6 months ago
2001
The demand for data integration is rapidly becoming larger as more and more information sources appear in modern enterprises. In many situations a logical (rather than physical) i...
135
click to vote
WSC
2004
15 years 6 months ago
2004
Distributed simulation promises a range of benefits and opportunities, especially for modeling large-scale complex systems, such as wafer fabs. However, as with many promising tec...