224 search results - page 8 / 45 » Model-based runtime analysis of distributed reactive systems |
HICSS
2003
IEEE
14 years 1 months ago
2003
IEEE
The paper reports on an analysis technology based on the tracing approach to test trustworthy requirements of a distributed system. The system under test is instrumented such that...
JAVA
2001
Springer
14 years 26 days ago
2001
Springer
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. Jackal implements Java’s memory model and allows multithreaded Java programs...
ICDCS
2008
IEEE
14 years 2 months ago
2008
IEEE
Distributed stream processing systems (DSPSs) have many important applications such as sensor data analysis, network security, and business intelligence. Failure management is ess...
RTAS
2007
IEEE
14 years 2 months ago
2007
IEEE
Many mission-critical distributed real-time applications must handle aperiodic tasks with end-to-end deadlines. However, existing middleware (e.g., RT-CORBA) lacks schedulability ...
PPDP
2001
Springer
14 years 26 days ago
2001
Springer
We introduce a new system of trust analysis for concurrent and distributed systems using the π-calculus[13, 14, 15] as a modelling tool. A Type system using boolean annotations g...