2255 search results - page 162 / 451 » High Assurance Software Systems |
145
click to vote
FMLDO
1999
Springer
15 years 10 months ago
1999
Springer
The concept of a transaction, highly significant in the context of data bases, is broadened to make it refer to any atomic operation that changes the state of a software system or...
196
click to vote
RTAS
2003
IEEE
15 years 11 months ago
2003
IEEE
Most research on QoS-aware computing considers systems where code is generally partitioned into separately schedulable tasks with associated timing constraints. In sharp contrast ...
151
click to vote
KBSE
2006
IEEE
16 years 12 days ago
2006
IEEE
A software system interacts with its environment through system interfaces. Robustness of software systems are governed by various temporal properties related to these interfaces,...
176
click to vote
IWPC
2006
IEEE
16 years 12 days ago
2006
IEEE
Program componentization has been proved to be an effective way to increase the speed and cost-effectiveness of reusing, maintaining, and understanding existing software systems. ...
224
click to vote
SEW
2006
IEEE
16 years 12 days ago
2006
IEEE
Established software development processes focus on delivering software within time and budget according to a set of requirements. However, practical experiences show that neither...