Sciweavers

2273 search results - page 168 / 455
» On the Expressiveness and Complexity of ATL
Sort
View
68
Voted
ATAL
2004
Springer
15 years 3 months ago
Integrating Autonomous Behavior and User Control for Believable Agents
Autonomous agents can help users by taking on a substantial workload, and performing tasks that are too complex for a human. However, in some systems complete autonomy is undesira...
Marco Gillies, Daniel Ballin
85
Voted
ATVA
2004
Springer
135views Hardware» more  ATVA 2004»
15 years 3 months ago
Using Block-Local Atomicity to Detect Stale-Value Concurrency Errors
Data races do not cover all kinds of concurrency errors. This paper presents a data-ow-based technique to nd stale-value errors, which are not found by low-level and high-level d...
Cyrille Artho, Klaus Havelund, Armin Biere
ISCIS
2004
Springer
15 years 3 months ago
Modelling Role-Playing Games Using PEPA Nets
Abstract. We present a performance modelling case study of a distributed multi-player game expressed in the PEPA nets modelling language. The case study provides a modern complex d...
Stephen Gilmore, Leïla Kloul, Davide Piazza
81
Voted
COOPIS
2003
IEEE
15 years 3 months ago
BRAIN: A Framework for Flexible Role-Based Interactions in Multiagent Systems
Agent-based approaches in application development seem to meet the requirements of adaptability, scalability, decentralization, and flexibility imposed by complex software systems....
Giacomo Cabri, Letizia Leonardi, Franco Zambonelli
90
Voted
DATE
2003
IEEE
86views Hardware» more  DATE 2003»
15 years 3 months ago
Cross-Product Functional Coverage Measurement with Temporal Properties-Based Assertions
Temporal specification languages provide an efficient way to express events comprised of complex temporal scenarios. Assertions based on these languages are used to detect viola...
Avi Ziv