861 search results - page 12 / 173 » Predicting change impact from logical models |
113
Voted
DLOG
2011
14 years 5 months ago
2011
The detection of changes between OWL ontologies is an important service for ontology engineering. There are several approaches to this problem, both syntactic and semantic. A purel...
101
click to vote
EDOC
2009
IEEE
15 years 8 months ago
2009
IEEE
The impact IT systems have on organizations is widely debated, both in academia and industry. This paper describes a quantitative framework for analyzing organizational impact fro...
101
click to vote
UM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. This paper examines the problem of uncertainty due to instrumentation in user modeling systems within spatial domains. We consider the uncertainty of inferring a user’s...
83
Voted
WSC
2008
15 years 4 months ago
2008
This paper discusses a discrete event simulation model developed to identify and understand the impact of different failures on the overall production capabilities in a chemical p...
110
Voted
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. We show how to transform formulae written in the real-time temporal logic MITL into timed automata that recognize their satisfying models. This compositional construction...