2042 search results - page 145 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
QEST
2008
IEEE
14 years 3 months ago
2008
IEEE
The UML profile for Modeling and Analysis of Real Time and Embedded systems (MARTE) provides a powerful, standardised framework for the specification of non-functional propertie...
EOR
2008
13 years 9 months ago
2008
In this work, we address investment decisions in production systems by using real options. As is standard in literature, the stochastic variable is assumed to be normally distribu...
ICSM
2003
IEEE
14 years 2 months ago
2003
IEEE
Software systems no longer evolve as separate entities but are also integrated with each other. The purpose of integrating software systems can be to increase user-value or to dec...
SDM
2009
SIAM
14 years 6 months ago
2009
SIAM
Document collections evolve over time, new topics emerge and old ones decline. At the same time, the terminology evolves as well. Much literature is devoted to topic evolution in ...
MDM
2004
Springer
14 years 2 months ago
2004
Springer
In this paper, we consider a data model for uncertain trajectories of moving objects. In our model, the trajectory is a vector of uniform stochastic processes. We study “univers...