15840 search results - page 565 / 3168 » The Control of Synchronous Systems |
198
click to vote
HUMAN
2003
Springer
16 years 7 days ago
2003
Springer
Object caching is a desirable feature to improve the both scalability and performance of distributed application systems for information infrastructure, the information management ...
158
click to vote
SIGADA
1998
Springer
15 years 11 months ago
1998
Springer
Our institute has been developing the only publicly available implementation of the Ada 95 Distributed Systems Annex for several years in strong collaboration with Ada Core Techno...
175
click to vote
SP
1997
IEEE
15 years 11 months ago
1997
IEEE
This paper describes a specification-based approach to detect exploitations of vulnerabdities in securitycritical programs. The approach utilizes security specifications that desc...
171
click to vote
APVIS
2006
15 years 8 months ago
2006
In cyber attack monitoring systems, various types of visualizations, such as geographical visualization, temporal visualization, logical visualization, are being used. Each visual...
190
click to vote
EUROPAR
2010
Springer
15 years 8 months ago
2010
Springer
This paper introduces a set object, namely a shared object that allows processes to add and remove values as well as take a snapshot of its content. A new consistency condition su...