7557 search results - page 612 / 1512 » Modeling Timed Concurrent Systems |
160
click to vote
PE
2008
Springer
15 years 7 months ago
2008
Springer
In this paper we present a new approach to derive heavy-traffic asymptotics for polling models. We consider the classical cyclic polling model with exhaustive or gated service at ...
193
click to vote
SRDS
2006
IEEE
16 years 1 months ago
2006
IEEE
Availability prediction in a telecommunication system plays a crucial role in its management, either by alerting the operator to potential failures or by proactively initiating pr...
186
click to vote
ISQED
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper, we propose a new approach to enforcing the passivity of a reduced system of general passive linear time invariant circuits. Instead of making the reduced models pas...
142
click to vote
WSC
2004
15 years 8 months ago
2004
Data Farming is a methodology and capability that makes use of high performance computing to run models many times. This capability gives modelers and their clients the enhanced a...
161
click to vote
SAFECOMP
2005
Springer
16 years 18 days ago
2005
Springer
When the safety community designs their systems to also maintain security properties, it is likely that public-key encryption will be among the tools that are applied. The security...