188 search results - page 21 / 38 » A Formal Implementation of Value Commitment |
CORR
2011
Springer
12 years 11 months ago
2011
Springer
We study the attribution problem, that is, the problem of attributing a change in the value of a characteristic function f to its independent variables. We make three contributions...
KBSE
2007
IEEE
14 years 1 months ago
2007
IEEE
Modularity is one of the most important properties of a software design, with significant impact on changeability and evolvability. However, a formalized and automated approach i...
FM
2001
Springer
13 years 12 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking many distributed systems. Timestamps are often ...
JSW
2007
13 years 7 months ago
2007
— Web services composition is a very active area of research due to the growing interest of public and private organizations in services integration and/or low cost development o...
IFL
1997
Springer
13 years 11 months ago
1997
Springer
Common subexpression elimination is a well-known compiler optimisation that saves time by avoiding the repetition of the same computation. In lazy functional languages, referential...