Sciweavers

4348 search results - page 419 / 870
» Using UML for Modeling Complex Real-Time Systems
Sort
View
ATAL
2006
Springer
15 years 10 months ago
Agent-based modeling of human education data
Agent-based simulation is increasingly used to analyze the performance of complex systems. There are two main ways agentbased models are built -- from equation-based models and di...
Yuqing Tang, Simon Parsons, Elizabeth Sklar
LFCS
2007
Springer
16 years 29 days ago
Model Checking Knowledge and Linear Time: PSPACE Cases
We present a general algorithm scheme for model checking logics of knowledge, common knowledge and linear time, based on simulations to a class of structures that capture the way t...
Kai Engelhardt, Peter Gammie, Ron van der Meyden
SASO
2010
IEEE
15 years 4 months ago
Designing Comprehensible Self-Organising Systems
Self-organising systems are a popular engineering concept for designing decentralised autonomic computing systems. They are able to find solutions in complex and versatile problem ...
Nicolas Höning, Han La Poutré
ADC
2005
Springer
106views Database» more  ADC 2005»
16 years 11 days ago
OS Support for a Commodity Database on PC clusters - Distributed Devices vs. Distributed File Systems
In this paper we attempt to parallelise a commodity database for OLAP on a cluster of commodity PCs by using a distributed high-performance storage subsystem. By parallelising the...
Felix Rauch, Thomas Stricker
ACAL
2009
Springer
16 years 1 months ago
Multivesicular Assemblies as Real-World Testbeds for Embryogenic Evolutionary Systems
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
Maik Hadorn, Peter Eggenberger Hotz