Sciweavers

1434 search results - page 143 / 287
» System dynamics: What's in it for healthcare simulation mode...
Sort
View
GG
2004
Springer
15 years 12 months ago
Model Checking Graph Transformations: A Comparison of Two Approaches
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
Arend Rensink, Ákos Schmidt, Dániel ...
ICPR
2008
IEEE
16 years 28 days ago
Dynamic structure from motion based on nonlinear adaptive observers
Structure and motion estimation from long image sequences is a an important and difficult problem in computer vision. We propose a novel approach based on nonlinear and adaptive ...
Ola Dahl, Anders Heyden
WSCG
2003
148views more  WSCG 2003»
15 years 7 months ago
The Second Order Particle System
In this paper we present an extension to the classical particle system. We unify particles, particle sources, and force generators into a second order particle system. In the seco...
Tommi Ilmonen, Janne Kontkanen
CN
2004
129views more  CN 2004»
15 years 6 months ago
Dynamic traffic controls for Web-server networks
Distributed Web-server systems have been widely used to provide effective Internet services. The management of these systems requires dynamic controls of the Web traffic. With the...
Liming Liu, Yumao Lu
CCGRID
2004
IEEE
15 years 10 months ago
When can an autonomous reputation scheme discourage free-riding in a peer-to-peer system?
We investigate the circumstances under which it is possible to discourage free-riding in a peer-to-peer system for resource-sharing by prioritizing resource allocation to peers wi...
Nazareno Andrade, Miranda Mowbray, Walfredo Cirne,...