2004 search results - page 180 / 401 » Comparison of Model Checking Tools for Information Systems |
167
Voted
COOPIS
2002
IEEE
15 years 11 months ago
2002
IEEE
Abstract. In recent years ontologies – shared conceptualizations of some domain – are increasingly seen as the key to further automation of information processing. Although man...
128
click to vote
SEMWEB
2004
Springer
15 years 11 months ago
2004
Springer
We propose a personal knowledge publishing system called Semblog is realized with integration of Semantic Web techniques and Weblog tools. Semblog suite provides an integrated envi...
160
click to vote
WSC
2001
15 years 7 months ago
2001
Supply chain decisions are improved with access to global information. However, supply chain partners are frequently hesitant to provide full access to all the information within ...
172
click to vote
QEST
2005
IEEE
15 years 11 months ago
2005
IEEE
iLTL is a probabilistic temporal logic that can specify properties of multiple discrete time Markov chains (DTMCs). In this paper, we describe two related tools: MarkovEstimator a...
173
click to vote
ICCS
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. A data driven system implies the need to integrate data acquisition and signal processing into the same system that will interact with this information. This can be done ...