2570 search results - page 345 / 514 » Reliability Modeling Using UML |
125
click to vote
POPL
2010
ACM
16 years 16 days ago
2010
ACM
We address the verification problem of finite-state concurrent programs running under weak memory models. These models capture the reordering of program (read and write) operation...
127
click to vote
TSMC
2010
14 years 9 months ago
2010
Belief merging is concerned with the integration of several belief bases such that a coherent belief base is developed. Various belief merging models have been developed that use a...
126
click to vote
BPSC
2009
15 years 4 months ago
2009
Abstract: When SOA-based business processes are to be enhanced with security properties, the model-driven business process development approach enables an easier and more reliable ...
185
click to vote
BMCBI
2004
15 years 3 months ago
2004
Background: Intrinsic fluctuations due to the stochastic nature of biochemical reactions can have large effects on the response of biochemical networks. This is particularly true ...
118
click to vote
MOBICOM
2005
ACM
15 years 8 months ago
2005
ACM
This paper is a contribution to the generic problem of having simple and accurate models to dimension radio cells with data traffic on a GPRS or EDGE network. It addresses the iss...