6757 search results - page 713 / 1352 » Knowledge Analysis on Process Models |
175
click to vote
FDL
2007
IEEE
16 years 1 months ago
2007
IEEE
This article introduces the Time Model subprofile of MARTE, a new OMG UML Profile dedicated to Modeling and Analysis of Real-Time and Embedded systems. After a brief presentatio...
164
click to vote
PATMOS
2004
Springer
16 years 13 days ago
2004
Springer
Abstract. The logical effort method has appeared very convenient for fast estimation and optimization of single paths. However it necessitates a calibration of all the gates of the...
225
click to vote
EMSOFT
2003
Springer
16 years 9 days ago
2003
Springer
An important bottleneck in model-based design of embedded systems is the cost of constructing models. This cost can be significantly decreased by increasing the reuse of existing m...
132
click to vote
MASCOTS
2000
15 years 8 months ago
2000
This paper describes three visually interactive tools for the analysis, modeling, and generation of long-range dependent (LRD) network traffic. The synTraff toolkit uses a three-s...
165
click to vote
ENTCS
2007
15 years 7 months ago
2007
A major development in qualitative model checking was the jump to verifying properties of source code directly, rather than requiring a separately specified model. We describe an...