8828 search results - page 83 / 1766 » Formal methods in practice |
ECIS
2000
14 years 11 months ago
2000
Little research has been conducted to date on the specific topic of the tailoring of systems development methods. Two related research areas--contingency factors research and metho...
ESANN
2004
14 years 11 months ago
2004
Abstract. The problem of the prediction of a critical situation during continuous casting in common steelmaking practice is faced through different traditional soft
CC
2007
Springer
15 years 4 months ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
PAKM
2000
14 years 11 months ago
2000
Knowledge management is not one single discipline. Rather, it an integration of numerous endeavors and fields of study. This paper provides a framework for characterizing the vari...
EXPERT
2002
14 years 9 months ago
2002
er than abstracting human behavior as work processes or tasks--functional idealizations of the work to be accomplished--we model people's activities comprehensively and chrono...