1077 search results - page 162 / 216 » Formal Checking of Properties in Complex Systems Using Abstr... |
ATAL
1998
Springer
13 years 12 months ago
1998
Springer
Abstract. A framework for cooperative goal-satisfaction in large-scale MultiAgent Systems (MAS) is presented in this paper. This is performed by demonstrating the applicability of ...
POPL
2012
ACM
12 years 3 months ago
2012
ACM
We develop logical mechanisms and decision procedures to facilitate the verification of full functional properties of inductive tree data-structures using recursion that are soun...
WWW
2005
ACM
14 years 8 months ago
2005
ACM
We present a design for verification approach to developing reliable web services. We focus on composite web services which consist of asynchronously communicating peers. Our goal...
ISCIS
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. Networks describe various complex natural systems including social systems. Recent studies have shown that these networks share some common properties. While studying com...
POPL
2009
ACM
14 years 8 months ago
2009
ACM
Transactional memory (TM) is a promising paradigm for concurrent programming. Whereas the number of TM implementations is growing, however, little research has been conducted to p...