467 search results - page 91 / 94 » Empirical studies of software engineering: a roadmap |
ICFEM
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We study the problem of applying statistical methods for approximate model checking of probabilistic systems against properties encoded as PCTL formulas. Such approximate...
AVI
2008
13 years 10 months ago
2008
The development of intelligent assistants has largely benefited from the adoption of decision-theoretic (DT) approaches that enable an agent to reason and account for the uncertai...
DFN
2003
13 years 9 months ago
2003
: Blocking of foreign Web content by Internet access providers has been a hot topic for the last 18 months in Germany. Since fall 2001 the state of North-RhineWestphalia very activ...
IFIP
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Applying changes to software engineering processes in organisations usually raises many problems of varying nature. Basing on a real-world 2-year project and a simultaneo...
PLDI
2011
ACM
12 years 10 months ago
2011
ACM
Software modifications are often systematic—they consist of similar, but not identical, program changes to multiple contexts. Existing tools for systematic program transformati...