2315 search results - page 229 / 463 » Does EigenPalm work |
146
click to vote
FLOPS
2001
Springer
15 years 10 months ago
2001
Springer
We introduce a simply typed λ-calculus λκε which has both contexts and environments as first-class values. In λκε, holes in contexts are represented by ordinary variables ...
150
click to vote
ICALP
2001
Springer
15 years 10 months ago
2001
Springer
We work with an extension of Resolution, called Res(2), that allows clauses with conjunctions of two literals. In this system there are rules to introduce and eliminate such conju...
157
click to vote
POLICY
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. We address the problem of Quality of Service (QoS) requirements for multimedia applications (e.g., distance education, telemedicine, electronic commerce). These applicati...
150
click to vote
RE
2001
Springer
15 years 10 months ago
2001
Springer
This paper argues that there are new insights to be gained from a strategic analysis of requirements engineering. The paper is motivated by a simple question: what does it take to...
172
click to vote
SEKE
2001
Springer
15 years 10 months ago
2001
Springer
Source code analysis and inspection does not provide enough information to describe the structure of an objectoriented program completely because there are components and relation...