3104 search results - page 182 / 621 » Using quantitative analysis to implement autonomic IT system... |
115
click to vote
CAMP
2005
IEEE
15 years 10 months ago
2005
IEEE
—This paper describes a task-independent controller that allows for an easy implementation of vision systems for processing video sequences. The controller does not have a fixed ...
138
click to vote
FGCN
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we present a novel feedback control-based load shedding scheme for data stream processing. Firstly we apply system identification to establish a dynamic model to de...
140
click to vote
CN
2007
15 years 4 months ago
2007
Notwithstanding the limited commercial success of the first narrowband Low Earth Orbit (LEO) satellite systems, the interest of the scientific community in this type of systems ...
103
click to vote
ETRICS
2006
15 years 8 months ago
2006
Abstract. We provide a static analysis (using both dataflow analysis and theorem proving) to allow state changes within specifications. This can be used for specification languages...
137
click to vote
INFOCOM
1997
IEEE
15 years 8 months ago
1997
IEEE
Current high-speed packet switching systems, ATM in particular, have large port bu ering requirements. The use of highly integrated ASIC technology for implementing high-degree an...