13917 search results - page 2761 / 2784 » Abstraction of Probabilistic Systems |
RC
1998
14 years 9 months ago
1998
Abstract. The epsilon-inflation proved to be useful and necessary in many verification algorithms. Different definitions of an epsilon-inflation are possible, depending on the...
104
click to vote
SOFTWARE
1998
14 years 9 months ago
1998
development is a highly abstract process that requires intense concentration. The authors show that interrupting this process can significantly reduce a developer’s efficiency an...
117
click to vote
SOSYM
2002
14 years 9 months ago
2002
Abstract. There is rapidly growing momentum for web enabled agents that reason about and dynamically integrate the appropriate knowledge and services at run-time. The dynamic integ...
TELSYS
2002
14 years 9 months ago
2002
Abstract. In the micro-cell-based PCS networks, due to the high user mobility, handoffs occur more frequently. Hence, the classical assumptions, such as the exponential assumptions...
TSMC
2002
14 years 9 months ago
2002
Abstract--In mobile networks, the traffic fluctuation is unpredictable due to mobility and varying resource requirement of multimedia applications. Hence, it is essential to mainta...