854 search results - page 116 / 171 » Addressing Dynamic Issues of Program Model Checking |
102
click to vote
CCGRID
2008
IEEE
15 years 9 months ago
2008
IEEE
We propose, implement and evaluate three admission models for computational Grids. The models take the expected demand into account and offer a specific performance guarantee. Th...
124
click to vote
SIGMETRICS
2004
ACM
15 years 7 months ago
2004
ACM
A large variety of communication systems, including telephone and data networks, can be represented by so-called Whittle networks. The stationary distribution of these networks is...
132
Voted
BIS
2006
15 years 3 months ago
2006
Business process management (BPM) has emerged as a dominant technology in current enterprise systems and business solutions. However, business processes are always evolving in cur...
112
click to vote
IAT
2003
IEEE
15 years 7 months ago
2003
IEEE
This paper presents MPIAB, an agent based architecture for parallel processing. The architecture is developed to model the functions of standard MPI using java agents. It remedies...
IJCAI
1989
15 years 3 months ago
1989
We address two issues which arise in the task of detecting anomalous behavior in complex systems with numerous sensor channels: how to adjust alarm thresholds dynamically, within ...