Sciweavers

1922 search results - page 42 / 385
» Systems biology, models, and concurrency
Sort
View
111
Voted
VMCAI
2004
Springer
15 years 7 months ago
A Grand Challenge for Computing: Towards Full Reactive Modeling of a Multi-cellular Animal
Biological systems can be modeled beneficially as reactive systems, using languages and tools developed for the construction of man-made systems. Our long-term aim is to model a f...
David Harel
ICCS
2007
Springer
15 years 8 months ago
Integration of Biological, Psychological, and Social Aspects in Agent-Based Simulation of a Violent Psychopath
In the analysis of criminal behaviour, a combination of biological, psychological and social aspects may be taken into account. Dynamical modelling methods developed in recent year...
Tibor Bosse, Charlotte Gerritsen, Jan Treur
135
Voted
ISER
2004
Springer
152views Robotics» more  ISER 2004»
15 years 7 months ago
Adaptive Walking of a Quadruped Robot in Outdoor Environment based on Biological Concepts
We have been trying to induce a quadruped robot to walk with medium walking speed on irregular terrain based on biological concepts. We propose the essential conditions for stable ...
Hiroshi Kimura, Yasuhiro Fukuoka
116
Voted
WOSP
2010
ACM
15 years 8 months ago
Analytical modeling of lock-based concurrency control with arbitrary transaction data access patterns
Nowadays the 2-Phase-Locking (2PL) concurrency control algorithm still plays a core rule in the construction of transactional systems (e.g. database systems and transactional memo...
Pierangelo di Sanzo, Roberto Palmieri, Bruno Cicia...
113
Voted
BIBE
2006
IEEE
160views Bioinformatics» more  BIBE 2006»
15 years 8 months ago
Methods for Random Modularization of Biological Networks
— Biological networks are formalized summaries of our knowledge about interactions among biological system components, like genes, proteins, or metabolites. From their global top...
Zachary M. Saul, Vladimir Filkov