1024 search results - page 19 / 205 » Compositional Methods for Probabilistic Systems |
ECBS
2007
IEEE
15 years 7 months ago
2007
IEEE
This paper provides three contributions to the study of functional integration of distributed enterprise systems. First, we describe the challenges associated with functionally in...
ISQED
2006
IEEE
15 years 7 months ago
2006
IEEE
Probabilistic system simulations for analog circuits have traditionally been handled with Monte Carlo analysis. For a manufacturable design, fast and accurate simulations are nece...
HYBRID
2007
Springer
15 years 7 months ago
2007
Springer
This paper addresses the problem of estimating human body dynamics from 3-D visual data. That is, our goal is to estimate the state of the system, joint angle trajectories and velo...
APIN
2006
15 years 1 months ago
2006
In the past decade, compositional modelling (CM) has established itself as the predominant knowledge-based approach to construct mathematical (simulation) models automatically. Al...
ESORICS
2002
Springer
16 years 25 days ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...