Sciweavers

2477 search results - page 22 / 496
» Object list controlled process data system
Sort
View
UML
2005
Springer
14 years 1 months ago
Using Process Algebra to Validate Behavioral Aspects of Object-Oriented Models
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...
Alban Rasse, Jean-Marc Perronne, Pierre-Alain Mull...
ATAL
2003
Springer
14 years 27 days ago
Optimizing information exchange in cooperative multi-agent systems
Decentralized control of a cooperative multi-agent system is the problem faced by multiple decision-makers that share a common set of objectives. The decision-makers may be robots...
Claudia V. Goldman, Shlomo Zilberstein
PDIS
1994
IEEE
13 years 11 months ago
An Economic Paradigm for Query Processing and Data Migration in Mariposa
Many new database applications require very large volumes of data. Mariposa is a data base system under construction at Berkeley responding to this need. Mariposa objects can be s...
Michael Stonebraker, Robert Devine, Marcel Kornack...
WECWIS
2006
IEEE
161views ECommerce» more  WECWIS 2006»
14 years 1 months ago
Better control on recommender systems
In the context of electronic commerce, recommender systems enable merchants to assist customers in finding available products that will best satisfy their need. However, a recomm...
Esma Aïmeur, Flavien Serge Mani Onana
WSC
2001
13 years 9 months ago
Quantifying simulation output variability using confidence intervals and statistical process control
Two types of variability can occur in model output: variability between replications and variability within each replication. The objective of the model combined with the type of ...
Amy Jo Naylor