4036 search results - page 420 / 808 » Formal Methods |
183
click to vote
ATAL
2004
Springer
16 years 5 days ago
2004
Springer
There is a need for agent systems that can scale to realworld applications, yet retain the clean semantic underpinning of more formal agent frameworks. We describe the SRI Procedu...
176
click to vote
ICFEM
2004
Springer
16 years 5 days ago
2004
Springer
Abstract. We present a “memory-model-sensitive” approach to validating correctness properties for multithreaded programs. Our key insight is that by specifying both the inter-t...
191
click to vote
POLICY
2004
Springer
16 years 4 days ago
2004
Springer
As the interest in using policy-based approaches for systems management grows, it is becoming increasingly important to develop methods for performing analysis and refinement of p...
198
click to vote
AMET
1998
Springer
15 years 11 months ago
1998
Springer
Abstract. Auction-based electronic commerce is an increasingly interesting domain for AI researchers. In this paper we present an attempt towards the construction of trading agents...
172
click to vote
SIGSOFT
1998
ACM
15 years 11 months ago
1998
ACM
Implicit invocation SN92, GN91] has become an important architectural style for large-scale system design and evolution. This paper addresses the lack of speci cation and veri cat...