Sciweavers

4348 search results - page 529 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ATAL
2009
Springer
16 years 1 months ago
Pragmatic-strategic reputation-based decisions in BDI agents
Computational trust and reputation models have been recognized as one of the key technologies required to design and implement agent systems. These models manage and aggregate the...
Isaac Pinyol, Jordi Sabater-Mir
SPIN
2007
Springer
16 years 24 days ago
Tutorial: Parallel Model Checking
d Abstract) Luboˇs Brim and Jiˇr´ı Barnat Faculty of Informatics, Masaryk University, Brno, Czech Republic With the increase in the complexity of computer systems, it becomes e...
Lubos Brim, Jiri Barnat
ECOWS
2007
Springer
16 years 26 days ago
Specifying and Monitoring Composite Events for Semantic Web Services
Execution monitoring of complex web service process models is critical for effective management and control of web services based systems. During the composite process model execu...
Roman Vaculín, Katia P. Sycara
ECAL
1999
Springer
15 years 11 months ago
A Generic Neutral Model for Quantitative Comparison of Genotypic Evolutionary Activity
We use a new general-purpose model of neutral evolution of genotypes to make quantitative comparisons of diversity and adaptive evolutionary activity as a function of mutation rate...
Andreas Rechtsteiner, Mark A. Bedau
WSC
2004
15 years 8 months ago
View From the Top: Military Challenges for the Simulation Community
The Department of Defense (DoD) has become increasingly reliant on models and in particular on simulation models. The military-defense establishment and its combat-preparation ori...
Gregory A. McIntyre, Raymond R. Hill