3782 search results - page 457 / 757 » Engineering Social Order |
156
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
A Herbrand equality between expressions in a program is an equality which holds relative to the Herbrand interpretation of operators. We show that the problem of checking validity ...
158
click to vote
VMCAI
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. It is a hotly researching topic to eliminate irrelevant variables from counterexample, to make it easier to be understood. K Ravi proposes a two-stages counterexample min...
177
click to vote
XPU
2005
Springer
16 years 4 days ago
2005
Springer
Dynamic market situation and changing customer requirements generate more demands for the product development. Product releases should be developed and managed in short iterations ...
182
click to vote
AOSD
2004
ACM
16 years 3 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
158
Voted
ISSTA
2004
ACM
16 years 3 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...