748 search results - page 29 / 150 » Time and Probability in Process Algebra |
119
Voted
LICS
1994
IEEE
15 years 4 months ago
1994
IEEE
We develop a model for timed, reactive computation by extending the asynchronous, untimed concurrent constraint programming model in a simple and uniform way. In the spirit of pro...
118
click to vote
CORR
2010
Springer
14 years 9 months ago
2010
Springer
This paper motivates the need for a formalism for the modelling and analysis of dynamic reconfiguration of dependable real-time systems. We present requirements that the formalism ...
122
click to vote
CIKM
2006
Springer
15 years 4 months ago
2006
Springer
In an uncertain database, each data item is modeled as a range associated with a probability density function. Previous works for this kind of data have focussed on simple queries...
SIAMSC
2008
15 years 8 days ago
2008
With the rise in popularity of compatible finite element, finite difference and finite volume discretizations for the time domain eddy current equations, there has been a correspon...
128
Voted
WER
2010
Springer
14 years 10 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...