12 search results - page 3 / 3 » Towards model checking executable UML specifications in mCRL... |
143
Voted
USS
2010
14 years 10 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
115
click to vote
ATAL
2010
Springer
15 years 1 months ago
2010
Springer
We propose Alternating-time Dynamic Logic (ADL) as a multi-agent variant of Dynamic Logic in which atomic programs are replaced by coalitions. In ADL, the Dynamic Logic operators ...