11558 search results - page 2139 / 2312 » Analytics for software development |
232
click to vote
MIDDLEWARE
2007
Springer
16 years 17 days ago
2007
Springer
Reflective middleware provides an effective way to support adaptation in distributed systems. However, as distributed systems become increasingly complex, certain drawbacks of the...
153
click to vote
OOPSLA
2007
Springer
16 years 17 days ago
2007
Springer
Custom House's new currency exchange system is integrated with a legacy system. After a few years of growth, the two systems were so intricately tangled that even small chang...
182
click to vote
PPDP
2007
Springer
16 years 16 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
156
click to vote
SEMWEB
2007
Springer
16 years 16 days ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
156
click to vote
VMCAI
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Several verification methods involve reasoning about multi-valued systems, in which an atomic proposition is interpreted at a state as a lattice element, rather than a B...