COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
Access control is one of the most fundamental and widely used security mechanisms. Access control mechanisms control which principals such as users or processes have access to whi...
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
Despite the availability of a variety of program analysis tools, evaluation of these tools is difficult, as only few benchmark suites exist. Existing benchmark suites lack the uni...
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
Mesh simplification is a mainstream technique to render graphics responsively in modern graphical software. However, the graphical nature of the output poses a test oracle problem...
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
The world is increasingly dependent on critical infrastructures such as the electric power grid, water, gas, and oil transport systems, which are susceptible to cascading failures...
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
Hardware/software co-verification is becoming an indispensable tool for building highly trustworthy embedded systems. A stumbling block to effective co-verification using model ch...
COMPSAC
2007
IEEE
13 years 12 months ago
2007
IEEE
REFSQ
2010
Springer
13 years 12 months ago
2010
Springer
[Context and motivation] In Requirements Management, ontologies are used to reconcile gaps in the knowledge and common understanding among stakeholders during requirement elicitati...
REFSQ
2010
Springer
13 years 12 months ago
2010
Springer
Product managers in software companies are confronted with a continuous stream of incoming requirements. Due to limited resources they have to make a selection of those that can be...
QOSA
2010
Springer
13 years 12 months ago
2010
Springer
Abstract. Software performance prediction methods are typically validated by taking an appropriate software system, performing both performance predictions and performance measurem...