2042 search results - page 314 / 409 » Modeling and Analysis of Probabilistic Timed Systems |
LCTRTS
2004
Springer
14 years 2 months ago
2004
Springer
We present a polynomial upper bound for flattening of UML statecharts. An efficient flattening technique is derived and implemented in SCOPE—a code generator targeting constra...
DEDS
2010
13 years 9 months ago
2010
In discrete event systems, a given task can start executing when all the required input data are available. The required input data for a given task may change along the evolution...
JUCS
2007
13 years 8 months ago
2007
: Nowadays, software evolution is a very hot topic. It is particularly complex when it regards critical and nonstopping systems. Usually, these situations are tackled by hard-codin...
WSCG
2004
13 years 10 months ago
2004
The extension of our research on analysis of a single agent or agent communities combining advanced methods of visualization with traditional AI techniques is presented in this pa...
INFOCOM
2009
IEEE
14 years 3 months ago
2009
IEEE
Abstract—In large-scale peer-to-peer (P2P) live streaming systems with a limited supply of server bandwidth, increasing the amount of upload bandwidth supplied by peers becomes c...