2024 search results - page 275 / 405 » A Formal Model of Multi-agent Computations |
ECRTS
2000
IEEE
15 years 3 months ago
2000
IEEE
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
ECAI
2000
Springer
15 years 3 months ago
2000
Springer
This paper considers the use of logic-based languages for multi-agent negotiation. We begin by motivating the use of such languages, and introducing a formal model of logic-based n...
C3S2E
2009
ACM
15 years 3 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...
COLT
2006
Springer
15 years 3 months ago
2006
Springer
Generative algorithms for learning classifiers use training data to separately estimate a probability model for each class. New items are classified by comparing their probabiliti...
WSC
2008
15 years 1 months ago
2008
Event based simulations are an important scientific application in many fields. With the rise of cluster computing, distributed event simulation optimization becomes an essential ...