8132 search results - page 1369 / 1627 » Dependability, Abstraction, and Programming |
163
click to vote
APLAS
2006
ACM
16 years 17 days 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...
203
click to vote
APPT
2005
Springer
16 years 4 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...
172
click to vote
ECAL
2005
Springer
16 years 3 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...
155
click to vote
ECOOP
2005
Springer
16 years 3 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...
233
click to vote
ESOP
2005
Springer
16 years 3 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 ...