14336 search results - page 2580 / 2868 » Analytical simulation modeling |
184
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
187
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
A concurrent reachability game is a two-player game played on a graph: at each state, the players simultaneously and independently select moves; the two moves determine jointly a ...
156
click to vote
ROBIO
2006
IEEE
16 years 21 days ago
2006
IEEE
- SuperMedia provides human operators rich environmental information, thus providing telepresence and enhances efficiency of operation. However, coupling human with the remote envi...
169
click to vote
SAINT
2006
IEEE
16 years 21 days ago
2006
IEEE
Overload can reduce the overall performance of a computer system up to a point where the whole service might collapse. Thus, for example the load on a server must be controlled to...
169
click to vote
SKG
2006
IEEE
16 years 21 days ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...