6757 search results - page 759 / 1352 » Knowledge Analysis on Process Models |
194
click to vote
ENTCS
2006
15 years 6 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
181
click to vote
IJDMB
2008
15 years 6 months ago
2008
: Recently lots of studies aim at modeling and inferring gene networks. Modeling tools propose graphical models having almost nothing about time description of events and regards t...
AIEDAM
2005
15 years 6 months ago
2005
This paper examines the role of design concepts in a modus operandi as opposed to a modus operatum, which is how their generation, as it unfolds over time, is perceived by someone...
187
click to vote
FLAIRS
2009
15 years 4 months ago
2009
This paper introduces an information theoretic approach to verification of modular causal probabilistic models. We assume systems which are gradually extended by adding new functi...
157
click to vote
ASIAMS
2008
IEEE
16 years 1 months ago
2008
IEEE
Geo-informatics is a field of science that combines geodetic and spatial information processing methods with computing hardware and software technologies. Research being conducted...