819 search results - page 80 / 164 » Using Assumptions to Distribute CTL Model Checking |
155
click to vote
ICML
2008
IEEE
16 years 5 months ago
2008
IEEE
Stationarity is often an unrealistic prior assumption for Gaussian process regression. One solution is to predefine an explicit nonstationary covariance function, but such covaria...
145
click to vote
JBCS
2002
15 years 4 months ago
2002
This paper presents a new approach for generating configured and flexible middleware systems for integration of heterogeneous and distributed data. The configuration is based on t...
167
click to vote
FDL
2004
IEEE
15 years 8 months ago
2004
IEEE
This paper proposes a formal verification methodology which is smoothly integrated with component-based system-level design, using a divide and conquer approach. The methodology a...
131
click to vote
CDC
2009
IEEE
15 years 5 months ago
2009
IEEE
In this paper, we study the reachability problem for the class of (strictly) monotone Petri nets that we define based on algebraic conditions. More specifically, given a (strictly)...
126
click to vote
AAMAS
2008
Springer
15 years 5 months ago
2008
Springer
We present the MOdel of Organisational Change using Agents (MOCHA) as a means to formally specify, check and simulate organisations and their changes using agents. We define the s...