Sciweavers

3104 search results - page 101 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
129
Voted
ICPR
2008
IEEE
16 years 4 months ago
Real-time crowd motion analysis
Video-surveillance systems are becoming more and more autonomous in the detection and the reporting of abnormal events. In this context, this paper presents an approach to detect ...
Chabane Djeraba, Nacim Ihaddadene
CAV
2012
Springer
251views Hardware» more  CAV 2012»
13 years 6 months ago
A Model Checker for Hierarchical Probabilistic Real-Time Systems
Real-life systems are usually hard to control, due to their complicated structures, quantitative time factors and even stochastic behaviors. In this work, we present a model checke...
Songzheng Song, Jun Sun 0001, Yang Liu 0003, Jin S...
109
Voted
HUC
2003
Springer
15 years 8 months ago
Building World Models by Ray-Tracing within Ceiling-Mounted Positioning Systems
Context-aware computing in location-aware environments demands the combination of real world position with a computational world model to infer context. We present a novel approach...
Robert K. Harle, Andy Hopper
EMSOFT
2009
Springer
15 years 10 months ago
Implementing time-predictable load and store operations
Scratchpads have been widely proposed as an alternative to caches for embedded systems. Advantages of scratchpads include reduced energy consumption in comparison to a cache and a...
Jack Whitham, Neil C. Audsley
AUTONOMICS
2008
ACM
15 years 5 months ago
On modeling of self-organizing systems
A goal of computing and networking systems is to limit administrative requirements for users and operators. A technical systems should be able to configure itself as much as possi...
Richard Holzer, Hermann de Meer