626 search results - page 29 / 126 » Satisfying Maintenance Goals |
TAMC
2010
Springer
14 years 2 months ago
2010
Springer
Abstract. In property testing, the goal is to distinguish between objects that satisfy some desirable property and objects that are far from satisfying it, after examining only a s...
INTERACT
1997
13 years 10 months ago
1997
The conventional assumption that quality is an attribute of a product is misleading, as the attributes required for quality will depend on how the product is used. Quality of use ...
COR
2011
13 years 4 months ago
2011
Branching in mixed-integer (or integer) linear programming requires choosing both the branching variable and the branching direction. This paper develops a number of new methods f...
CSMR
2009
IEEE
14 years 3 months ago
2009
IEEE
EvoSpaces is a Swiss-wide research project sponsored by the Hasler foundation. It involves three partners: University of Zurich, University of Lugano and the University of Applied...
ICFEM
2007
Springer
14 years 3 months ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...