7557 search results - page 747 / 1512 » Modeling Timed Concurrent Systems |
218
click to vote
APNOMS
2006
Springer
15 years 11 months ago
2006
Springer
In this paper, an adaptive soft handoff algorithm, which dynamically calculates the threshold values for soft handoff based on the received signal strength, is proposed for mobile ...
175
click to vote
CODES
1998
IEEE
15 years 11 months ago
1998
IEEE
Telecommunication systems are often specified in the standardized languages SDL and MSc. These languages allow only the specification of pure functional aspects. To remedy this pr...
174
click to vote
EMSOFT
2009
Springer
16 years 2 months ago
2009
Springer
In this paper, we propose a formal analysis approach to estimate the expected (average) data cache access time of an application across all possible program inputs. Towards this g...
182
click to vote
MICCAI
2003
Springer
16 years 8 months ago
2003
Springer
Abstract. The development of a 3D image guidance environment will significantly enhance the performance of minimally invasive robotically assisted cardiac surgery. We have previous...
210
click to vote
IEEECIT
2007
IEEE
16 years 1 months ago
2007
IEEE
The User requirements of many web-based services are dynamically and continuously changing even during the service time itself. For that reason, web service companies always keep ...