1900 search results - page 174 / 380 » The Four Phase Method for Modelling Complex Systems |
138
click to vote
SEMWEB
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. We present a method for rapid development of benchmarks for Semantic Web knowledge base systems. At the core, we have a synthetic data generation approach for OWL that is...
127
click to vote
ACSD
2004
IEEE
15 years 7 months ago
2004
IEEE
Abstract. This paper presents a formal verification algorithm for finding errors in models of complex concurrent systems. The algorithm improves explicit guided model checking by a...
148
click to vote
FORTE
1997
15 years 4 months ago
1997
Distributed programming and object-oriented programming are two popular programming paradigms. The former is driven by advances in networking technology whereas the latter provide...
140
click to vote
COMPUTER
2000
15 years 3 months ago
2000
hysical world. How do you adapt software abstractions designed merely to transform data to meet requirements like real-time constraints, concurrency, and stringent safety considera...
123
click to vote
IPL
2007
15 years 3 months ago
2007
We show that the problem of reaching a state set with probability 1 in probabilisticnondeterministic systems operating in parallel is EXPTIME-complete. We then show that this prob...