154 search results - page 16 / 31 » A Theory of Runtime Enforcement, with Results |
JSS
2008
13 years 8 months ago
2008
Service-based systems are distributed computing systems with the major advantage of enabling rapid composition of distributed applications, such as collaborative research and deve...
SADFE
2008
IEEE
14 years 2 months ago
2008
IEEE
Secure logs are powerful tools for building systems that must resist forgery, prove temporal relationships, and stand up to forensic scrutiny. The proofs of order and integrity en...
EUROPAR
2005
Springer
14 years 1 months ago
2005
Springer
Large message latencies often lead to poor performance of parallel applications. In this paper, we investigate a latency-tolerating technique that immediately releases all blocking...
AAMAS
2002
Springer
13 years 8 months ago
2002
Springer
There is considerable interest in developing runtime infrastructures for programs that can migrate from one host to another. Mobile programs are appealing because they support eff...
RTSS
2000
IEEE
14 years 24 days ago
2000
IEEE
The maturity of schedulabilty analysis techniquesfor fired-prioritypreemptive scheduling has enabled the consideration of timing issues at design time using a specification of the...