10038 search results - page 1690 / 2008 » Model Checking for Managers |
142
click to vote
WORM
2003
15 years 8 months ago
2003
Fast Internet worms are a relatively new threat to Internet infrastructure and hosts. We discuss motivation and possibilities to study the behaviour of such worms and degrees of f...
176
click to vote
MVA
2000
15 years 8 months ago
2000
Taking into account these various remarks, our method is composed of four modules: In this article, we describe a new method deA recognition phase allows to accurately detersigned ...
182
click to vote
WSC
1998
15 years 8 months ago
1998
This paper reports simulation methods and results for analyzing a self-adjusting Quality of Service (QoS) control scheme for multimedia/telecommunication systems based on resource...
187
click to vote
FORTE
1996
15 years 8 months ago
1996
The paper describes the application of SDL-92[1] and OMT[2] to the design of a V5.x Access Network interface. While OMT is used to model the management aspects of the system, typi...
181
click to vote
AMW
2009
15 years 7 months ago
2009
Abstract. Peer data sharing systems use either schema-level or data-level mappings to resolve schema as well as data heterogeneity among data sources (peers). Schema-level mappings...