660 search results - page 31 / 132 » Performance Specifications and Metrics for Adaptive Real-Tim... |
ICSE
2008
IEEE-ACM
14 years 8 months ago
2008
IEEE-ACM
Efforts for software evolution supersede any other part of the software life cycle. Technological decisions have a major impact on the maintainability, but are not well reflected ...
SPIN
2000
Springer
13 years 11 months ago
2000
Springer
The Temporal Rover is a specification based verification tool for applications written in C, C++, Java, Verilog and VHDL. The tool combines formal specification, using Linear-Time ...
ESAW
2009
Springer
14 years 2 months ago
2009
Springer
Abstract. We consider adaptation in open systems, i.e. systems without global objects or common objectives. There are three related issues: how to make the degrees of freedom (DoFs...
ICSE
2008
IEEE-ACM
14 years 7 months ago
2008
IEEE-ACM
Software security metrics are measurements to assess security related imperfections (or perfections) introduced during software development. A number of security metrics have been...
WECWIS
2009
IEEE
14 years 2 months ago
2009
IEEE
Modern IT systems serve many different business processes on a shared infrastructure in parallel. The automatic request execution on the numerous interconnected components, hosted...