1200 search results - page 163 / 240 » The Problem Frames Approach to Software Engineering |
ISPASS
2008
IEEE
14 years 3 months ago
2008
IEEE
— This work addresses the problem of building representative subsets of benchmarks from an original large set of benchmarks, using statistical analysis techniques. The subsets sh...
IUI
2003
ACM
14 years 2 months ago
2003
ACM
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
IUI
1998
ACM
14 years 1 months ago
1998
ACM
Life-likeanimatedinterfaceagentsforknowledge-basedlearning environments can provide timely, customized advice to support students’ problem solving. Because of their strong visua...
ICFEM
2007
Springer
14 years 26 days ago
2007
Springer
Abstract. Refinement plays a crucial role in "top-down" styles of verification, such as the refinement calculus, but for probabilistic systems proof of refinement is a pa...
ICFEM
2010
Springer
13 years 7 months ago
2010
Springer
Despite the advancements of concurrency theory in the past decades, practical concurrent programming has remained a challenging activity. Fundamental problems such as data races an...