3376 search results - page 355 / 676 » Analyzing Software Evolvability |
167
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
We construct a formal framework for investigating epistemic and temporal notions in the context of distributed quantum systems. While we rely on structures developed in [DDKP05], w...
143
click to vote
FSTTCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a natural confluence of higher-order hereditary Harrop formulas (HH formulas), Constraint Logic Programming (CLP, [JL87]), and Concurrent Constraint Programmi...
156
click to vote
ICWE
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. In the Internet era, the development of Web applications has impressively evolved and is characterized by a large degree of complexity. To this end, software community ha...
165
click to vote
PVM
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Fortran language has evolved substantially from the Fortran 77 bindings defined in the MPI-1 (Message Passing Interface) standard. Fortran 90 introduced interface bl...
163
click to vote
CSCW
2004
ACM
16 years 3 days ago
2004
ACM
This paper examines the way in which a knowledge management system (KMS)—by which we mean the people, processes and software—came into being and evolved in response to a varie...