5267 search results - page 187 / 1054 » Methods for Knowledge Based Controlling of Distributed Syste... |
140
click to vote
COLCOM
2009
IEEE
15 years 7 months ago
2009
IEEE
Abstract—For a complex distributed system to be dependable, it must be continuously monitored, so that its failures and imperfections can be discovered and corrected in a timely ...
152
click to vote
CAI
2006
Springer
15 years 2 months ago
2006
Springer
MAS is a powerful paradigm in nowadays distributed systems, however its disadvantage is that it lacks the interconnection with semantic web standards such as OWL. The aim of this a...
131
Voted
PTS
1993
15 years 3 months ago
1993
In the area of testing communication systems, the interfaces between systems to be tested and their testers have great impact on test generation and fault detectability. Several t...
139
click to vote
PG
2002
IEEE
15 years 7 months ago
2002
IEEE
The recent non-uniform subdivision approach extends traditional uniform subdivision schemes with variable rules, offering additional shape parameters (such as knot spacings) for f...
122
Voted
LPAR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...