2661 search results - page 394 / 533 » Model Checking Performability Properties |
ASMTA
2008
Springer
14 years 9 days ago
2008
Springer
The solution of continuous and discrete-time Markovian models is still challenging mainly when we model large complex systems, for example, to obtain performance indexes of paralle...
TJS
2010
13 years 5 months ago
2010
When the workflow application is executed in Service-Oriented Grid (SOG), performance issues such as service scheduling should be considered, to achieve high and stable performance...
DSOM
2005
Springer
14 years 3 months ago
2005
Springer
This paper deals with a shared server environment where the server is divided into a number of resource partitions and used to host multiple applications at the same time. In a cas...
CNSR
2007
IEEE
14 years 4 months ago
2007
IEEE
In an effort to improve performance of congested gateways, a new Active Queue Management (AQM) algorithm, Adaptive Virtual Queue Random Early Detection (AVQRED), was developed by ...
WOWMOM
2006
ACM
14 years 4 months ago
2006
ACM
— It has been observed that IEEE 802.11 commercial cards produced by different vendors show a different behavior in terms of perceived throughput or access delay. Performance dif...