1086 search results - page 61 / 218 » A Probabilistic Model for Software Projects |
HICSS
2002
IEEE
14 years 1 months ago
2002
IEEE
Deploying an appropriate software process can improve the effectiveness of software engineering. Still, small companies find it hard to allocate resources to software process impr...
CORR
2011
Springer
13 years 3 months ago
2011
Springer
The context of a software developer is something hard to define and capture, as it represents a complex network of elements across different dimensions that are not limited to th...
ICFEM
2007
Springer
13 years 12 months 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...
FASE
2011
Springer
12 years 11 months ago
2011
Springer
Probabilistic verification techniques have been applied to the formal modelling and analysis of a wide range of systems, from communication protocols such as Bluetooth, to nanosca...
BIS
2008
13 years 9 months ago
2008
Abstract. Web 2.0, also known as the Social Web, marks a new philosophy where users are both the main actors and the content producers: users write blogs and comments, they tag, li...