8540 search results - page 1488 / 1708 » The Dynamic Servers Problem |
178
Voted
SPIN
2004
Springer
15 years 9 months ago
2004
Springer
Most approaches for model checking software are based on ration of abstract models from source code, which may greatly reduce the search space, but may also introduce errors that a...
134
Voted
STDBM
2004
Springer
15 years 9 months ago
2004
Springer
This paper introduces the Dynamic Cascade Tree (DCT), a structure designed to index query regions on multi-dimensional data streams. The DCT is designed for a stream management sy...
126
Voted
CCGRID
2003
IEEE
15 years 9 months ago
2003
IEEE
— Due to enormous complexity of the unstructured peer-to-peer networks as large-scale, self-configure, and dynamic systems, the models used to characterize these systems are eit...
144
Voted
CODES
2003
IEEE
15 years 9 months ago
2003
IEEE
the level of abstraction in system design promises to enable faster exploration of the design space at early stages. While scheduling decision for embedded software has great impa...
149
click to vote
COMPSAC
2003
IEEE
15 years 9 months ago
2003
IEEE
The parameters in these software reliability models are usually directly obtained from the field failure data. Due to the dynamic properties of the system and the insufficiency of...