4438 search results - page 749 / 888 » The Case for Collaborative Programming |
149
click to vote
B
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. In the area of networks, a common method to enforce a security policy expressed in a high-level language is based on an ad-hoc and manual rewriting process [24]. We argue...
149
Voted
CAV
2009
Springer
15 years 9 months ago
2009
Springer
We consider the decision problem for quantifier-free formulas whose atoms are linear inequalities interpreted over the reals or rationals. This problem may be decided using satisf...
143
click to vote
COCO
2010
Springer
15 years 8 months ago
2010
Springer
We present a new algorithm for Unique Games which is based on purely spectral techniques, in contrast to previous work in the area, which relies heavily on semidefinite programmi...
144
click to vote
ESEM
2007
ACM
15 years 8 months ago
2007
ACM
Estimation of development effort without imposing overhead on the project and the development team is of paramount importance for any software company. This study proposes a new e...
161
Voted
GROUP
2007
ACM
15 years 8 months ago
2007
ACM
This work presents experiences with the adopting of a workflow management system in a large financial institution. We describe the gradual evolution of a traditional work process,...