2850 search results - page 315 / 570 » On Timed Models and Full Abstraction |
215
click to vote
MOBICOM
2004
ACM
16 years 5 days ago
2004
ACM
One key usage of VANET is to support vehicle safety applications. This use case is characterized by the prominence of broadcasts in scaled settings. In this context, we try to ans...
211
click to vote
ICSOC
2004
Springer
16 years 3 days ago
2004
Springer
The paradigm shift from device-oriented to service-oriented management has also implications to the area of event correlation. Today’s event correlation mainly addresses the cor...
161
click to vote
ATAL
2003
Springer
15 years 12 months ago
2003
Springer
In a large distributed system it is often infeasible or even impossible to perform diagnosis using a single model of the whole system. Instead, several spatially distributed local...
208
click to vote
PLDI
2010
ACM
15 years 11 months ago
2010
ACM
Multithreaded programs are notoriously prone to race conditions, a problem exacerbated by the widespread adoption of multi-core processors with complex memory models and cache coh...
176
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background: Hidden Markov Models (HMMs) have been extensively used in computational molecular biology, for modelling protein and nucleic acid sequences. In many applications, such...