3750 search results - page 365 / 750 » Timed Automata Patterns |
121
click to vote
JSAC
2007
15 years 4 months ago
2007
—This paper derives the optimal search time and the optimal search cost that can be achieved in unstructured peer-topeer networks when the demand pattern exhibits clustering (i.e...
149
click to vote
RTAS
2009
IEEE
15 years 11 months ago
2009
IEEE
Over the last few years, Real-Time Calculus has been used extensively to model and analyze embedded systems processing continuous data/event streams. Towards this, bounds on the a...
153
click to vote
TACAS
1998
Springer
15 years 8 months ago
1998
Springer
In this paper, we report on an application of the validation and veri cation tool kit Uppaal in the design and analysis of a prototype gear controller, carried out in a joint proje...
122
click to vote
MM
2005
ACM
15 years 10 months ago
2005
ACM
The current model of time in multimedia frameworks poses particular problems when designing multimedia systems with timebased interaction. We propose to expand and extend an exist...
103
click to vote
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
Functional image sequences obtained from image reconstruction techniques applied to Magneto and Electroencephalography (M/EEG) data convey a large amount of information in the spa...