Sciweavers

684 search results - page 38 / 137
» An Architecture for MAS Simulation Environments
Sort
View
ICIW
2009
IEEE
13 years 6 months ago
A Recommender System for Web Services Discovery in a Distributed Registry Environment
In this paper, we discuss the suitability of using recommendation techniques for Web service discovery in distributed registry environments. The architecture we adopt consists in ...
Mohamed Sellami, Samir Tata, Zakaria Maamar, Bruno...
DAC
1994
ACM
14 years 23 days ago
HSIS: A BDD-Based Environment for Formal Verification
Functional and timing verification are currently the bottlenecks in many design efforts. Simulation and emulation are extensively used for verification. Formal verification is now...
Adnan Aziz, Felice Balarin, Szu-Tsung Cheng, Ramin...
OPODIS
2008
13 years 10 months ago
Evaluating a Data Removal Strategy for Grid Environments Using Colored Petri Nets
Abstract. In this paper we use colored Petri nets (CPNs) and the supporting CPN Tools for the modeling and performance analysis of grid architectures. The notation of Petri nets is...
Nikola Trcka, Wil M. P. van der Aalst, Carmen Brat...
DSRT
1999
IEEE
14 years 29 days ago
Collaborative Virtual Environment Standards: A Performance Evaluation
Collaborative Virtual Environments are virtual reality spaces that enable participants to collaborate and share objects as if physically present in the same place. These collabora...
Jauvane C. de Oliveira, Shervin Shirmohammadi, Nic...
ATAL
2009
Springer
14 years 3 months ago
Distributed planning and coordination in non-deterministic environments
We present a demonstration of a multi-agent prototype for distributed planning and coordination in dynamic non-deterministic multi-actor mixed-initiative environments. The system ...
Antonín Komenda, Jirí Vokríne...