2836 search results - page 92 / 568 » Model Checking for Software Architectures |
180
click to vote
TDSC
2010
15 years 27 days ago
2010
Although recent estimates are speaking of 200,000 different viruses, worms, and Trojan horses, the majority of them are variants of previously existing malware. As these variants m...
201
click to vote
ATAL
2010
Springer
15 years 7 months ago
2010
Springer
We present a method of distributed model checking of multiagent systems specified by a branching-time temporal-epistemic logic. We introduce a serial algorithm, central to the dis...
147
click to vote
ECSA
2008
Springer
15 years 8 months ago
2008
Springer
Architectural patterns have an impact on both the structure and the behavior of a system at the architecture design level. However, it is challenging to model patterns' behavi...
169
click to vote
KBSE
2008
IEEE
16 years 17 days ago
2008
IEEE
Flash memory has become virtually indispensable in most mobile devices. In order for mobile devices to successfully provide services to users, it is essential that flash memory b...
216
click to vote
ASPLOS
2012
ACM
14 years 1 months ago
2012
ACM
Emerging fast, non-volatile memories (e.g., phase change memories, spin-torque MRAMs, and the memristor) reduce storage access latencies by an order of magnitude compared to state...