Towards Trustworthy Self-optimization for Distributed Systems. [Citation Graph (, )][DBLP]
An Experimental Framework for the Analysis and Validation of Software Clocks. [Citation Graph (, )][DBLP]
Towards a Statistical Model of a Microprocessor's Throughput by Analyzing Pipeline Stalls. [Citation Graph (, )][DBLP]
Joining a Distributed Shared Memory Computation in a Dynamic Distributed System. [Citation Graph (, )][DBLP]
BSART (Broadcasting with Selected Acknowledgements and Repeat Transmissions) for Reliable and Low-Cost Broadcasting in the Mobile Ad-Hoc Network. [Citation Graph (, )][DBLP]
DPDP: An Algorithm for Reliable and Smaller Congestion in the Mobile Ad-Hoc Network. [Citation Graph (, )][DBLP]
Development of Field Monitoring Server System and Its Application in Agriculture. [Citation Graph (, )][DBLP]
On-Line Model Checking as Operating System Service. [Citation Graph (, )][DBLP]
Designing Highly Available Repositories for Heterogeneous Sensor Data in Open Home Automation Systems. [Citation Graph (, )][DBLP]
Fine-Grained Tailoring of Component Behaviour for Embedded Systems. [Citation Graph (, )][DBLP]
MapReduce System over Heterogeneous Mobile Devices. [Citation Graph (, )][DBLP]
Towards Time-Predictable Data Caches for Chip-Multiprocessors. [Citation Graph (, )][DBLP]
From Intrusion Detection to Intrusion Detection and Diagnosis: An Ontology-Based Approach. [Citation Graph (, )][DBLP]
Model-Based Testing of GUI-Driven Applications. [Citation Graph (, )][DBLP]