Sciweavers

1434 search results - page 128 / 287
» System dynamics: What's in it for healthcare simulation mode...
Sort
View
CGI
2000
IEEE
15 years 11 months ago
Dynamic 3D Maps and Their Texture-Based Design
Three-dimensional maps are fundamental tools for presenting, exploring, and manipulating geo data. This paper describes multiresolution concepts for 3D maps and their texture-base...
Jürgen Döllner, Klaus Hinrichs
IJCSA
2006
95views more  IJCSA 2006»
15 years 6 months ago
Modeling and Formal Verification of DHCP Using SPIN
The Dynamic Host Configuration Protocol (DHCP) is a widely used communication protocol. In this paper, a portion of the protocol is chosen for modeling and verification, namely th...
Syed M. S. Islam, Mohammed H. Sqalli, Sohel Khan
SIGMETRICS
2002
ACM
15 years 6 months ago
Full-system timing-first simulation
Computer system designers often evaluate future design alternatives with detailed simulators that strive for functional fidelity (to execute relevant workloads) and performance fi...
Carl J. Mauer, Mark D. Hill, David A. Wood
SMC
2007
IEEE
132views Control Systems» more  SMC 2007»
16 years 22 days ago
Tracking control of a pendulum-driven cart-pole underactuated system
: This paper investigates a new modelling and control issue: the tracking control problem of underactuated dynamic systems by using a special example – a pendulum-driven cart-pol...
Hongnian Yu, Yang Liu, Tai C. Yang
PADS
2005
ACM
16 years 1 days ago
An Adaptive Interest Management Scheme for Distributed Virtual Environments
Abstract— Traditionally Interest Management (IM) in distributed environments has been performed through a ‘top-down’ expression of interest patterns in the model. For many mo...
Rob Minson, Georgios K. Theodoropoulos