Sciweavers

2853 search results - page 299 / 571
» On Coherence in Computer Algebra
Sort
View
ISORC
2005
IEEE
15 years 10 months ago
Automated Model Checking and Testing for Composite Web Services
Web Services form a new distributed computing paradigm. Collaborative verification and validation are important when Web Services from different vendors are integrated together to...
Hai Huang, Wei-Tek Tsai, Raymond A. Paul, Yinong C...
139
Voted
SAC
2005
ACM
15 years 10 months ago
A multi-agent approach for solving optimization problems involving expensive resources
In this paper, we propose a multi-agent approach for solving a class of optimization problems involving expensive resources, where monolithic local search schemes perform miserabl...
Hoong Chuin Lau, Hui Wang
DIGRA
2005
Springer
15 years 10 months ago
A Game Architecture for Emergent Story-Puzzles in a Persistent World
This paper presents the design of an architecture for narrative games with story-puzzles like classic graphic adventures. The system is able to create new short stories in each se...
Federico Peinado, Pedro Pablo Gómez-Mart&ia...
132
Voted
PPAM
2005
Springer
15 years 10 months ago
Checkpointing Speculative Distributed Shared Memory
This paper describes a checkpointing mechanism destined for Distributed Shared Memory (DSM) systems with speculative prefetching. Speculation is a general technique involving predi...
Arkadiusz Danilecki, Anna Kobusinska, Michal Szych...
152
Voted
SAC
2004
ACM
15 years 10 months ago
A robust deception-free coalition formation model
We study two properties of coalition formation algorithms, very important for their application in real-life scenarios: robustness and tolerance to some agent misbehaviors. The st...
María-Victoria Belmonte, Ricardo Conejo, Jo...