Sciweavers

1954 search results - page 76 / 391
» Modelling Coordination in Biological Systems
Sort
View
BMCBI
2007
147views more  BMCBI 2007»
15 years 6 months ago
Modeling biochemical transformation processes and information processing with Narrator
Background: Software tools that model and simulate the dynamics of biological processes and systems are becoming increasingly important. Some of these tools offer sophisticated gr...
Johannes J. Mandel, Hendrik Fuß, Niall M. Pa...
ATAL
2008
Springer
15 years 8 months ago
AERIAL: hypothetical trajectory planning for multi-UAVs coordination and control
This paper presents a distributed application named AERIAL which allows coordination and control of multiple Unmanned Aerial Vehicles (UAVs) engaged in temporally constrained miss...
Paul-Edouard Marson, Michaël Soulignac, Patri...
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
CDC
2010
IEEE
144views Control Systems» more  CDC 2010»
15 years 1 months ago
Optimal UAV coordination for target tracking using dynamic programming
This work focuses on optimal routing for two camera-equipped UAVs cooperatively tracking a single target moving on the ground. The UAVs are small fixed-wing aircraft cruising at a ...
Steven A. P. Quintero, Francesco Papi, Daniel J. K...
ATAL
2007
Springer
16 years 16 days ago
Agent coordination by trade-off between locally diffusion effects and socially structural influences
There were always two separated methods to make agent coordination: individual-local balance perspective and individualsociety balance perspective. The first method only considere...
Yichuan Jiang, Jiuchuan Jiang, Toru Ishida