8337 search results - page 88 / 1668 » Reasoning With Characteristic Models |
114
click to vote
RE
1999
Springer
15 years 8 months ago
1999
Springer
Multiple viewpoints are often used in Requirements Engineering to facilitate traceability to stakeholders, to structure the requirements process, and to provide richer modelling b...
123
click to vote
TCS
2008
15 years 4 months ago
2008
We define a new cost model for the call-by-value lambda-calculus satisfying the invariance thesis. That is, under the proposed cost model, Turing machines and the call-by-value la...
ICLP
2001
Springer
15 years 8 months ago
2001
Springer
115
click to vote
CSL
1992
Springer
15 years 8 months ago
1992
Springer
ating Point Numbers (Abstract). In: Berichte aus Informatik