Sciweavers

2370 search results - page 134 / 474
» On the Revival of Dynamic Languages
Sort
View
SAC
2006
ACM
15 years 12 months ago
Dynamic instantiation-checking components
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
Nigamanth Sridhar
ICDCS
2003
IEEE
15 years 11 months ago
Dynamic Module Replacement in Distributed Protocols
Dynamic module replacement — the ability to hot swap a component’s implementation at runtime — is fundamental to supporting evolutionary change in long-lived and highlyavail...
Nigamanth Sridhar, Scott M. Pike, Bruce W. Weide
AOSD
2007
ACM
15 years 10 months ago
A distributed dynamic aspect machine for scientific software development
This position paper proposes the use of an event-based dynamic AOP machine as an infrastructure for interactive development of high performance scientific software. Advice codes i...
Chanwit Kaewkasi, John R. Gurd
AIML
2006
15 years 7 months ago
Dynamic topological logics over spaces with continuous functions
Dynamic topological logics are combinations of topological and temporal modal logics that are used for reasoning about dynamical systems consisting of a topological space and a con...
Boris Konev, Roman Kontchakov, Frank Wolter, Micha...
ICTCS
2003
Springer
15 years 11 months ago
A Calculus for Dynamic Linking
We define a calculus for modeling dynamic linking independently of the details of a particular programming environment. The calculus distinguishes at the language level the notion...
Davide Ancona, Sonia Fagorzi, Elena Zucca