1767 search results - page 27 / 354 » Objects in Context |
154
click to vote
EUROPAR
2003
Springer
15 years 10 months ago
2003
Springer
The software architecture of distributed systems is about to change due to new requirements of modern mobile devices. New network techniques, like ad-hoc radio communication or pee...
144
click to vote
PPDP
2005
Springer
15 years 11 months ago
2005
Springer
We study contexts (terms with holes) by proposing a ‘λcalculus with holes’. It is very expressive and can encode programming constructs apparently unrelated to contexts, incl...
132
click to vote
ITICSE
2005
ACM
15 years 11 months ago
2005
ACM
There are an increasing number of books published on the important topics of “object-oriented programming” and “object-oriented design” for use in education. However, obje...
178
click to vote
FLOPS
2010
Springer
16 years 11 days ago
2010
Springer
The logical framework LF provides an elegant foundation for specifying formal systems and proofs and it is used successfully in a wide range of applications such as certifying code...
137
click to vote
IDMS
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents an architecture for QoS-aware middleware platforms. We present a general framework for control, and specialise this framework for QoS provisioning in the middle...