Sciweavers

24421 search results - page 329 / 4885
» Communicating Complex Systems
Sort
View
152
Voted
APSEC
2001
IEEE
15 years 7 months ago
Formal Specification of Mixed Components with Korrigan
Formal specifications are now widely accepted in software development. Recently, the need for a separation of concerns with reference to static and dynamic aspects appeared. Furth...
Christine Choppy, Pascal Poizat, Jean-Claude Royer
189
Voted
SIGMOD
2006
ACM
111views Database» more  SIGMOD 2006»
16 years 3 months ago
On the database/network interface in large-scale publish/subscribe systems
The work performed by a publish/subscribe system can conceptually be divided into subscription processing and notification dissemination. Traditionally, research in the database a...
Badrish Chandramouli, Jun Yang 0001, Junyi Xie
141
Voted
CDC
2008
IEEE
145views Control Systems» more  CDC 2008»
15 years 10 months ago
Optimal sensor hop selection: Sensor energy minimization and network lifetime maximization with guaranteed system performance
— In this paper we consider state estimation carried over a sensor network. A fusion center forms a local multi-hop tree of sensors and gateways and fuses the data into a state e...
Ling Shi, Karl Henrik Johansson, Richard M. Murray
110
Voted
DSD
2008
IEEE
94views Hardware» more  DSD 2008»
15 years 10 months ago
Mapping a Fault-Tolerant Distributed Algorithm to Systems on Chip
Systems on chip (SoC) have much in common with traditional (networked) distributed systems in that they consist of largely independent components with dedicated communication inte...
Gottfried Fuchs, Matthias Függer, Ulrich Schm...
130
Voted
FDL
2006
IEEE
15 years 9 months ago
Layered UML Workload and SystemC Platform Models
Future mobile devices will be based on heterogeneous multiprocessing platforms accommodating several currently stand-alone applications. Increasing complexity of both application ...
Jari Kreku, Yang Qu, Juha-Pekka Soininen, Kari Tie...