Sciweavers

2853 search results - page 299 / 571
» On Coherence in Computer Algebra
Sort
View
208
Voted
ISORC
2005
IEEE
16 years 7 days 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...
SAC
2005
ACM
16 years 6 days 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
16 years 5 days 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...
PPAM
2005
Springer
16 years 3 days 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...
SAC
2004
ACM
16 years 2 days 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...