1226 search results - page 90 / 246 » Proofs, Programs and Abstract Complexity |
121
click to vote
ATAL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. The promise of agent-based systems is leading towards the development of autonomous, heterogeneous agents, designed by a variety of research/industrial groups and distrib...
123
Voted
STOC
2007
ACM
16 years 3 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...
224
click to vote
POPL
2008
ACM
16 years 3 months ago
2008
ACM
Machine-checked proofs of properties of programming languages have become a critical need, both for increased confidence in large and complex designs and as a foundation for techn...
141
click to vote
ICSE
2004
IEEE-ACM
16 years 3 months ago
2004
IEEE-ACM
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
156
Voted
MATES
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. It has been observed that there are interesting relations between planning and agent programming. This is not surprising as agent programming was partially motivated by t...