14331 search results - page 95 / 2867 » On the modeling and analysis of obligations |
177
click to vote
IPPS
2006
IEEE
16 years 10 days ago
2006
IEEE
We present a translation of a generic stochastic process algebra model into a form suitable for stochastic simulation. By systematically generating rate equations from a process d...
161
click to vote
CAISE
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The security of civil aviation is regulated by a series of international standards and recommended practices. The EDEMOI project aims at investigating different technique...
191
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
We present a method for simultaneous dimension reduction and metastability analysis of high dimensional time series. The approach is based on the combination of hidden Markov model...
153
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: In addition to their use in detecting undesired real-time PCR products, melting temperatures are useful for detecting variations in the desired target sequences. Metho...
147
click to vote
SMC
2007
IEEE
16 years 17 days ago
2007
IEEE
—The development of theoretical-based methods for the assessment of multi-agent systems properties is of critical importance. This work investigates methodologies for modeling, a...