9 search results - page 2 / 2 » Towards a Theory for Testing Non-terminating Programs |
121
click to vote
PGLDB
2003
15 years 27 days ago
2003
This paper reports the efforts which have been made towards a methodology based on elearning objects for the development of PGL modules. The Partnership in Global Learning (PGL) P...
SIGSOFT
2007
ACM
16 years 8 days ago
2007
ACM
The systematic exploration of the space of all the behaviours of a software system forms the basis of numerous approaches to verification. However, existing approaches face many c...
104
click to vote
ATAL
2010
Springer
15 years 19 days 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 ...
101
click to vote
WWW
2002
ACM
16 years 6 days ago
2002
ACM
Web services -- Web-accessible programs and devices ? are a key application area for the Semantic Web. With the proliferation of Web services and the evolution towards the Semanti...