621 search results - page 40 / 125 » Model Checking Probabilistic Distributed Systems |
FMICS
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. The FlexRay standard, developed by a cooperation of leading companies in the automotive industry, is a robust communication protocol for distributed components in modern ...
IJCV
2000
13 years 7 months ago
2000
We describe how to model the appearance of a 3-D object using multiple views, learn such a model from training images, and use the model for object recognition. The model uses pro...
EMSOFT
2005
Springer
14 years 1 months ago
2005
Springer
Key challenges in distributed real-time embedded (DRE) system developments include safe composition of system components and mapping the functional specifications onto the target...
ISORC
2005
IEEE
14 years 1 months ago
2005
IEEE
As complexity of real-time embedded software grows, it is desirable to use formal verification techniques to achieve a high level of assurance. We discuss application of model-ch...
CCS
2008
ACM
13 years 9 months ago
2008
ACM
In this paper, we model Probabilistic Packet Marking (PPM) schemes for IP traceback as an identification problem of a large number of markers. Each potential marker is associated ...