3101 search results - page 577 / 621 » Composing Adaptive Software |
180
click to vote
ICDCS
2011
IEEE
14 years 4 months ago
2011
IEEE
Many distributed software systems allow participation by large numbers of untrusted, potentially faulty components on an open network. As faults are inevitable in this setting, th...
171
Voted
ICFP
2012
ACM
13 years 7 months ago
2012
ACM
Programming with dependent types is a blessing and a curse. It is a blessing to be able to bake invariants into the definition of datatypes: we can finally write correct-by-cons...
154
click to vote
WWW
2004
ACM
16 years 5 months ago
2004
ACM
Personalized support for learners becomes even more important, when e-Learning takes place in open and dynamic learning and information networks. This paper shows how to realize p...
137
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
Online virtual worlds such as Second Life provide a rich medium for unstructured human interaction in a shared simulated 3D environment. However, many human interactions take place...
154
click to vote
IPPS
2007
IEEE
15 years 11 months ago
2007
IEEE
OpenMP has gained wide popularity as an API for parallel programming on shared memory and distributed shared memory platforms. It is also a promising candidate to exploit the emer...