Sciweavers

7992 search results - page 603 / 1599
» Communication Abstractions for Distributed Systems
Sort
View
HASE
2008
IEEE
15 years 7 months ago
Aiding Modular Design and Verification of Safety-Critical Time-Triggered Systems by Use of Executable Formal Specifications
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
Kohei Sakurai, Péter Bokor, Neeraj Suri
GLOBECOM
2007
IEEE
16 years 1 months ago
A Novel MAC Protocol for Cooperative Downloading in Vehicular Networks
—In this paper, we propose a novel protocol called VC-MAC that utilizes the concept of cooperative communication tailored for vehicular networks, especially for gateway downloadi...
Jin Zhang, Qian Zhang, Weijia Jia
ETFA
2005
IEEE
16 years 20 days ago
Quantitative evaluation of the safety of X-by-Wire architecture subject to EMI perturbations
The X-by-Wire systems in cars can only be accepted if they provide at least the same dependability than the traditional ones. In this paper we propose a new approach to evaluate t...
C. Wilwert, Françoise Simonot-Lion, Yeqiong...
AOSD
2008
ACM
15 years 9 months ago
Support for distributed adaptations in aspect-oriented middleware
Many aspect-oriented middleware platforms support run-time aspect weaving, but do not support coordinating distributed changes to a set of aspects at run-time. A distributed chang...
Eddy Truyen, Nico Janssens, Frans Sanen, Wouter Jo...
NGC
2002
Springer
107views Communications» more  NGC 2002»
15 years 6 months ago
An Information Management System with the Facility to Support Long-term Creative Thinking
Abstract Most previous creativity support systems sustain shortterm temporal thinking that is separate from users' daily activities. In this paper, we propose a system to supp...
Hirohito Shibata, Koichi Hori