917 search results - page 19 / 184 » Application reviews |
146
click to vote
AGILEDC
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper reviews the concepts of Earned Value Management established in traditional project management, and determines whether and how they can be applied to software developmen...
117
click to vote
WWW
2010
ACM
15 years 11 months ago
2010
ACM
We present a programming model for building web applications with security properties that can be confidently verified during a security review. In our model, applications are d...
117
click to vote
FCSC
2007
15 years 4 months ago
2007
The aim of mathematics mechanization is to develop symbolic algorithms for manipulating mathematical objects, proving and discovering theorems in a mechanical way. This paper gives...
113
click to vote
WSC
1997
15 years 5 months ago
1997
Simulation optimization can be defined as the process of finding the best input variable values from among all possibilities without explicitly evaluating each possibility. The ob...
162
click to vote
EDBT
2012
ACM
13 years 6 months ago
2012
ACM
Differential privacy has gained a lot of attention in recent years as a general model for the protection of personal information when used and disclosed for secondary purposes. It...