4 search results - page 1 / 1 » sas 2012 |
SAS
2012
Springer
11 years 7 months ago
2012
Springer
SAS
2012
Springer
11 years 7 months ago
2012
Springer
Abstract. Shivers’s escape technique enables one to analyse the control flow of higher-order program fragments. It is widely used, but its soundness has never been proven. In th...
AAAI
2012
11 years 7 months ago
2012
The early classifications of the computational complexity of planning under various restrictions in STRIPS (Bylander) and SAS+ (B¨ackstr¨om and Nebel) have influenced followin...
SAS
2012
Springer
11 years 7 months ago
2012
Springer
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...