DKAL is a new declarative authorization language for distributed systems. It is based on existential fixed-point logic and is considerably more expressive than existing authoriza...
We consider state estimation of a Markov stochastic process using an ad hoc wireless sensor network (WSN) based on noisy linear observations. Due to power and bandwidth constraint...
Eric J. Msechu, Alejandro Ribeiro, Stergios I. Rou...
—Current approaches to transactional support of distributed processes in service-oriented environments are limited to scenarios where the participant initiating the process maint...
Michael Von Riegen, Martin Husemann, Norbert Ritte...
We consider networked, embedded real-time systems that operate under run-time uncertainties on activity execution times and arrivals, node failures, and message losses. We consider...
Sherif Fadel Fahmy, Binoy Ravindran, E. Douglas Je...
—We address the problem of distributed source coding of binary sources with side information at the decoder. We propose a compression scheme using irregular turbo codes. We optim...
David Van Renterghem, Xavier Jaspar, Benoit M. Mac...