14360 search results - page 504 / 2872 » Time Modeling in MARTE |
222
click to vote
CD
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. Products within a product family are composed of different component configurations where components have different variable features and a large amount of dependency re...
171
click to vote
CLUSTER
2007
IEEE
16 years 1 months ago
2007
IEEE
— Analytical communication performance models play an important role in prediction of the execution time of parallel applications on multiprocessors. Apart from designing such a ...
186
Voted
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper studies the effect of bisimulation minimisation in model checking of monolithic discrete-time and continuous-time Markov chains as well as variants thereof with rewards...
180
click to vote
APSEC
2004
IEEE
15 years 11 months ago
2004
IEEE
With the advent of globalization and the Internet, the concept of global software development is gaining ground. The global development model opens up the possibility of 24-hour s...
160
click to vote
SIGSOFT
2005
ACM
16 years 8 months ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...