Sciweavers

684 search results - page 38 / 137
» An Architecture for MAS Simulation Environments
Sort
View
165
Voted
ICIW
2009
IEEE
15 years 1 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...
111
Voted
DAC
1994
ACM
15 years 7 months 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...
144
Voted
OPODIS
2008
15 years 5 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...
145
Voted
DSRT
1999
IEEE
15 years 8 months 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
15 years 10 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...