380 search results - page 26 / 76 » Model Checking Temporal Logics of Knowledge in Distributed S... |
148
click to vote
TACAS
2000
Springer
15 years 7 months ago
2000
Springer
Markov chains are widely used in the context of performance and reliability evaluation of systems of various nature. Model checking of such chains with respect to a given (branchin...
161
click to vote
TACAS
2012
Springer
13 years 11 months ago
2012
Springer
The number of malware is growing extraordinarily fast. Therefore, it is important to have efficient malware detectors. Malware writers try to obfuscate their code by different tec...
147
click to vote
HASE
1999
IEEE
15 years 8 months ago
1999
IEEE
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modeling Language (UML). In this paper we present a branchin...
118
click to vote
ICFEM
2009
Springer
15 years 10 months ago
2009
Springer
Rapid development in hardware industry has brought the prevalence of multi-core systems with shared-memory, which enabled the speedup of various tasks by using parallel algorithms....
126
click to vote
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...