Sciweavers

7274 search results - page 39 / 1455
» Abstractions for network update
Sort
View
76
Voted
IPSN
2009
Springer
15 years 7 months ago
Demo abstract: Signal reconstruction with subnyquist sampling using wireless sensor networks
Andria Pazarloglou, Stephen M. George, Radu Stoler...
DSN
2003
IEEE
15 years 6 months ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
62
Voted
PERCOM
2010
ACM
14 years 11 months ago
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...
90
Voted
LATINCRYPT
2010
14 years 11 months ago
On the Impossibility of Batch Update for Cryptographic Accumulators
Abstract. A cryptographic accumulator is a scheme where a set of elements is represented by a single short value. This value, along with another value called witness, allows to pro...
Philippe Camacho, Alejandro Hevia
96
Voted
ICMT
2009
Springer
15 years 7 months ago
Supporting Parallel Updates with Bidirectional Model Transformations
Abstract. Model-driven software development often involves several related models. When models are updated, the updates need to be propagated across all models to make them consist...
Yingfei Xiong, Hui Song, Zhenjiang Hu, Masato Take...