1925 search results - page 49 / 385 » Dynamic Typing |
132
Voted
FM
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
119
Voted
IFIP
2004
Springer
15 years 7 months ago
2004
Springer
A term terminates if all its reduction sequences are of finite length. We show four type systems that ensure termination of well-typed π-calculus processes. The systems are obtai...
139
Voted
ICANN
2010
Springer
15 years 5 days ago
2010
Springer
The hippocampus is known to be involved in spatial learning in rats. Spatial learning involves the encoding and replay of temporally sequenced spatial information. Temporally seque...
RC
2007
15 years 1 months ago
2007
This article proposes an approach for investigating the exponential stability of a nonlinear interval dynamical system with the nonlinearity of a quadratic type on the basis of the...
127
Voted
VISSYM
2007
15 years 4 months ago
2007
We present a set of techniques and design principles for the visualization of large dynamic software logs consisting of attributed change events, such as obtained from instrumenti...