4290 search results - page 233 / 858 » Formal Approaches to Teamwork |
159
click to vote
SLOGICA
2010
15 years 5 months ago
2010
Abstract. Representing an epistemic situation involving several agents obviously depends on the modeling point of view one takes. We start by identifying the types of modeling poin...
169
click to vote
MEMOCODE
2010
IEEE
15 years 4 months ago
2010
IEEE
We present a modular approach for verification of synchronization behavior in concurrent programs that use reentrant locks. Our approach decouples the verification of the lock impl...
188
click to vote
SAS
2012
Springer
13 years 9 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...
197
click to vote
TEC
2012
13 years 9 months ago
2012
Recently, the generalization framework in co-evolutionary learning has been theoretically formulated and demonstrated in the context of game-playing. Generalization performance of...
264
click to vote
POPL
2009
ACM
16 years 7 months ago
2009
ACM
Optimizations in a traditional compiler are applied sequentially, with each optimization destructively modifying the program to produce a transformed program that is then passed t...