5015 search results - page 380 / 1003 » Model Checking a Path |
172
click to vote
CCGRID
2005
IEEE
16 years 8 days ago
2005
IEEE
This paper analyses different protocols of session guarantees. Session guarantees (also known as client-centric consistency models) are one of the class of consistency models of r...
185
click to vote
ANSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
141
click to vote
JSCIC
2008
15 years 6 months ago
2008
We investigate different models that are intended to describe the small mean free path regime of a kinetic equation, a particular attention being paid to the moment closure by entr...
162
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Model-Driven Development requires model management languages and tools for supporting model operations such as editing, consistency checking, and transformation. At the core of the...
210
click to vote
CDC
2010
IEEE
15 years 1 months ago
2010
IEEE
This paper is concerned with developing an information-theoretic framework to aggregate the state space of a Hidden Markov Model (HMM) on discrete state and observation spaces. The...