8132 search results - page 1369 / 1627 » Dependability, Abstraction, and Programming |
184
click to vote
APLAS
2006
ACM
16 years 1 months ago
2006
ACM
Abstract. The Scheme language report advocates language design as the composition of a small set of orthogonal constructs, instead of a large accumulation of features. In this pape...
229
click to vote
APPT
2005
Springer
16 years 27 days ago
2005
Springer
Abstract. Grid computing is becoming a mainstream technology for multiinstitutional distributed resources sharing and system integration. Normally, the programmer's productivi...
197
click to vote
ECAL
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. Inspired by the recent advances in evolutionary biology, we have developed a self-organising, self-adaptable cellular system for multitask learning. The main aim of our p...
186
click to vote
ECOOP
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. The authors of this paper have all developed a framework that allows runtime adaptation of software systems. Based on our experiences, we wish to summarize common pitfall...
267
click to vote
ESOP
2005
Springer
16 years 26 days ago
2005
Springer
Abstract. We instantiate an Isabelle/HOL framework for proof carrying code to Jinja bytecode, a downsized variant of Java bytecode featuring objects, inheritance, method calls and ...