RV
2007
Springer
13 years 10 months ago
2007
Springer
We introduce a new non-interference criterion for concurrent programs: rollback atomicity. Similarly to other definitions of atomicity, rollback atomicity of a given concurrent ex...
RV
2007
Springer
13 years 10 months ago
2007
Springer
RV
2007
Springer
13 years 10 months ago
2007
Springer
Probabilistic correctness is another important aspect of reliable systems. A soft real-time system, for instance, exhibits probabilistic behaviors from tolerating some degrees of ...
RV
2007
Springer
13 years 10 months ago
2007
Springer
RV
2007
Springer
13 years 10 months ago
2007
Springer
A significant number of cyber assaults are attempted against open source internet support software written in C, C++, or Java. Examples of these software packages include the Apac...
RV
2007
Springer
13 years 10 months ago
2007
Springer
RV
2007
Springer
13 years 10 months ago
2007
Springer
RV
2007
Springer
13 years 10 months ago
2007
Springer
RV
2007
Springer
13 years 10 months ago
2007
Springer
When monitoring a system wrt. a property defined in some temporal logic, e. g., LTL, a major concern is to settle with an adequate interpretation of observable system events; that...