1802 search results - page 356 / 361 » Model-based Theory Combination |
132
click to vote
PETRA
2010
ACM
15 years 1 months ago
2010
ACM
Automatic surveillance of a scene in a broad sense comprises one of the core modules of pervasive applications. Typically, multiple cameras are installed in an area to identify ev...
131
Voted
TCOM
2010
15 years 29 days ago
2010
- Phase noise is a topic of theoretical and practical interest in electronic circuits. Although progress has been made in the characterization of its description, there are still c...
154
Voted
GAMESEC
2010
15 years 17 days ago
2010
The combination of username and password is widely used as a human authentication mechanism on the Web. Despite this universal adoption and despite their long tradition, password s...
128
Voted
ANCS
2009
ACM
15 years 12 days ago
2009
ACM
The problem of maintaining efficiently a large number (say millions) of statistics counters that need to be updated at very high speeds (e.g. 40 Gb/s) has received considerable re...
161
Voted
CORR
2009
Springer
15 years 12 days ago
2009
Springer
Abstract. We apply Uppaal Tiga to automatically compute adaptive scheduling strategies for an industrial case study dealing with a state-of-the-art image processing pipeline of a p...