2004 search results - page 94 / 401 » Comparison of Model Checking Tools for Information Systems |
157
click to vote
FQAS
2006
Springer
15 years 8 months ago
2006
Springer
Time plays an important role in our everyday's life. For a lot of observations we make and actions we perform, temporal information is relevant. The importance of time is refl...
119
click to vote
IUI
2004
ACM
15 years 10 months ago
2004
ACM
The usefulness of ontology is strongly dependent on the knowledge representation policy and its maintenance. The subject of knowledge representation and modeling tool has been one...
141
click to vote
QEST
2005
IEEE
15 years 10 months ago
2005
IEEE
This short tool paper introduces MRMC, a model checker for discrete-time and continuous-time Markov reward models. It supports reward extensions of PCTL and CSL, and allows for th...
127
click to vote
MM
2000
ACM
15 years 9 months ago
2000
ACM
Our goal is to integrate traditional artistic media that demand hand dexterity (such as drawing) with intelligent systems techniques that may both constrain and nourish this dexte...
159
click to vote
JIB
2007
15 years 4 months ago
2007
The creation of quantitative, simulatable, Systems Biology Markup Language (SBML) models that accurately simulate the system under study is a time-intensive manual process that re...