108 search results - page 7 / 22 » rise 2004 |
OTM
2004
Springer
14 years 1 months ago
2004
Springer
Case-based reasoning in the law is a reasoning strategy in which legal conclusions are supported by decisions made by judges. If the case at hand is analogous to a settled case, th...
PERVASIVE
2004
Springer
14 years 1 months ago
2004
Springer
Though the common conception of human-computer interfaces is one of screens and keyboards, the emergence of ubiquitous computing envisions interfaces that will spread from the desk...
TYPES
2004
Springer
14 years 29 days ago
2004
Springer
We present a formalization of a constructive proof of weak normalization for the simply-typed λ-calculus in the theorem prover Isabelle/HOL, and show how a program can be extracte...
VLDB
2004
ACM
14 years 29 days ago
2004
ACM
Enterprise capable database products have evolved into incredibly complex systems, some of which present hundreds of configuration parameters to the system administrator. So, whil...
XPU
2004
Springer
14 years 29 days ago
2004
Springer
Since the rise of the light weight software processes, the paradigm on how software should be developed has started to shift. Agile methods strive to supersede the traditional soft...