Sciweavers

2527 search results - page 314 / 506
» Aging in language dynamics
Sort
View
DAIS
2007
15 years 8 months ago
Component Adaptation in Contemporary Execution Environments
Because they are required to support component deployment and composition, modern execution environments embody a number of common features such as dynamic linking and support for ...
Susan Eisenbach, Chris Sadler, Dominic Wong
WSC
1998
15 years 8 months ago
Informational Macrodynamics: System Modelling and Simulation Methodologies
Informational Macrodynamics (IMD) presents a unified informational systemic approach with common information language for modeling, analysis and optimization of a variety of inter...
Vladimir S. Lerner
LFP
1994
129views more  LFP 1994»
15 years 8 months ago
Static Dependent Costs for Estimating Execution Time
We present the rst system for estimating and using datadependent expression execution times in a language with rst-class procedures and imperative constructs. The presence of rst-...
Brian Reistad, David K. Gifford
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
TOG
2008
129views more  TOG 2008»
15 years 6 months ago
Discrete elastic rods
We present a discrete treatment of adapted framed curves, parallel transport, and holonomy, thus establishing the language for a discrete geometric model of thin flexible rods wit...
Miklós Bergou, Max Wardetzky, Stephen Robin...