878 search results - page 57 / 176 » Choice and development |
114
click to vote
MPC
1992
Springer
15 years 8 months ago
1992
Springer
A calculus for developing programs from specifications written as predicates that describe the relationship between the initial and final state is proposed. Such specifications are...
152
click to vote
DIAGRAMS
2004
Springer
15 years 8 months ago
2004
Springer
Constraint diagrams are a diagrammatic notation which may be used to express logical constraints. They were designed to complement the Unified Modeling Language in the development ...
150
click to vote
FOSSACS
2006
Springer
15 years 8 months ago
2006
Springer
The indistinguishability of two pieces of data (or two lists of pieces of data) can be represented formally in terms of a relation called static equivalence. Static equivalence dep...
146
click to vote
ACSC
2003
IEEE
15 years 8 months ago
2003
IEEE
Sorting is a fundamental algorithmic task. Many generalpurpose sorting algorithms have been developed, but efficiency gains can be achieved by designing algorithms for specific ki...
149
click to vote
CCGRID
2001
IEEE
15 years 8 months ago
2001
IEEE
Resource management is an important infrastructure in the grid computing environment. Scalability and adaptability are two key challenges in the implementation of such complex sof...