Sciweavers

7274 search results - page 39 / 1455
» Abstractions for network update
Sort
View
IPSN
2009
Springer
14 years 2 months ago
Demo abstract: Signal reconstruction with subnyquist sampling using wireless sensor networks
Andria Pazarloglou, Stephen M. George, Radu Stoler...
DSN
2003
IEEE
14 years 28 days ago
An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software
Stephan Thesing, Jean Souyris, Reinhold Heckmann, ...
PERCOM
2010
ACM
13 years 6 months ago
Situvis: A sensor data analysis and abstraction tool for pervasive computing systems
Adrian K. Clear, Thomas Holland, Simon Dobson, Aar...
LATINCRYPT
2010
13 years 6 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
ICMT
2009
Springer
14 years 2 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...