660 search results - page 31 / 132 » Performance Specifications and Metrics for Adaptive Real-Tim... |
121
click to vote
ICSE
2008
IEEE-ACM
16 years 2 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 ...
133
click to vote
SPIN
2000
Springer
15 years 5 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 ...
95
Voted
ESAW
2009
Springer
15 years 8 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
16 years 1 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...
108
click to vote
WECWIS
2009
IEEE
15 years 8 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...