10038 search results - page 453 / 2008 » Model Checking for Managers |
187
click to vote
ECUMN
2007
Springer
16 years 1 months ago
2007
Springer
This paper analyzes and discusses the role of a distributed and simple admission control (AC) model in achieving scalable management of multiple network service levels. The model ...
182
click to vote
ICAC
2006
IEEE
16 years 1 months ago
2006
IEEE
Large amount of monitoring data can be collected from distributed systems as the observables to analyze system behaviors. However, without reasonable models to characterize systems...
211
Voted
ADBIS
2006
Springer
16 years 1 months ago
2006
Springer
Abstract. In this paper, we identify issues and present solutions developed – both theoretical and experimental – during the course of developing a data stream management syste...
172
click to vote
WOSS
2004
ACM
16 years 13 days ago
2004
ACM
Traditionally, software models are associated with development and maintenance related activities. This paper demonstrates that models also serve a vital purpose in supporting the...
174
click to vote
DBPL
1993
Springer
15 years 11 months ago
1993
Springer
Fox Finding Objects of eXperiments is the declarative query language for Moose Modeling Objects Of Scienti c Experiments , an object-oriented data model at the core of a scient...