Sciweavers

5009 search results - page 151 / 1002
» Value chain modelling using system dynamics
Sort
View
108
Voted
GLOBECOM
2006
IEEE
15 years 7 months ago
Further Analysis of XCP Equilibrium Performance
— Low analyzes the equilibrium performance of the recently developed eXplicit Control Protocol (XCP) by applying the derived window-based dynamical model. However, Low’s window...
Peng Wang, David L. Mills
137
Voted
CAV
1997
Springer
202views Hardware» more  CAV 1997»
15 years 5 months ago
HYTECH: A Model Checker for Hybrid Systems
A hybrid system is a dynamical system whose behavior exhibits both discrete and continuous change. A hybrid automaton is a mathematical model for hybrid systems, which combines, i...
Thomas A. Henzinger, Pei-Hsin Ho, Howard Wong-Toi
192
Voted
PODS
2009
ACM
119views Database» more  PODS 2009»
16 years 1 months ago
Dynamic indexability and lower bounds for dynamic one-dimensional range query indexes
The B-tree is a fundamental external index structure that is widely used for answering one-dimensional range reporting queries. Given a set of N keys, a range query can be answere...
Ke Yi
CAISE
2007
Springer
15 years 7 months ago
Analyzing the Business of Software: A Modelling Technique for Software Supply Networks
Abstract. One of the most significant paradigm shifts of software business management is that individual organizations no longer compete as single entities but as complex dynamic ...
Slinger Jansen, Anthony Finkelstein, Sjaak Brinkke...
90
Voted
ICAD
2004
15 years 2 months ago
Creating Functional and Livable Soundscapes for Peripheral Monitoring of Dynamic Data
Sonifications must be studied in order to match listener expectancies about data representation in the form of sound. In this study, a system was designed and implemented for dyna...
Brad S. Mauney, Bruce N. Walker