813 search results - page 87 / 163 » Correctness Properties for Multiagent Systems |
143
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
We introduce Erasure Pure Type Systems, an extension to Pure Type Systems with an erasure semantics centered around a type constructor indicating parametric polymorphism. The eras...
243
Voted
ACL2
2006
ACM
15 years 7 months ago
2006
ACM
We have extended the ACL2 theorem prover to automatically prove properties of VHDL circuits with IBM's Internal SixthSense verification system. We have used this extension to...
123
Voted
ATAL
2006
Springer
15 years 7 months ago
2006
Springer
Distributed constraint optimization (DCOP) has emerged as a useful technique for multiagent coordination. While previous DCOP work focuses on optimizing a single team objective, i...
125
Voted
CSE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Multi-agent systems are difficult to develop. One reason for this is that agents are embedded in a society where all agents must agree to obey certain social norms in order for...
143
Voted
HASE
1998
IEEE
15 years 8 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...