Sciweavers

6808 search results - page 1020 / 1362
» Distributed Concurrency Control
Sort
View
BIRTHDAY
2006
Springer
15 years 8 months ago
Realistic Worst-Case Execution Time Analysis in the Context of Pervasive System Verification
We describe a gate level design of a FlexRay-like bus interface. An electronic control unit (ECU) is obtained by integrating this interface into the design of the verified VAMP pro...
Steffen Knapp, Wolfgang J. Paul
DSN
2004
IEEE
15 years 8 months ago
Data-Aware Multicast
This paper presents a multicast algorithm for peer-topeer dissemination of events in a distributed topic-based publish-subscribe system, where processes publish events of certain ...
Sébastien Baehni, Patrick Th. Eugster, Rach...
DSN
2004
IEEE
15 years 8 months ago
Improving System Dependability with Functional Alternatives
We present the concept of alternative functionality for improving dependability in distributed embedded systems. Alternative functionality is a mechanism that complements traditio...
Charles P. Shelton, Philip Koopman
COMPLIFE
2006
Springer
15 years 8 months ago
Adaptive Approach for Modelling Variability in Pharmacokinetics
Abstract. We present an improved adaptive approach for studying systems of ODEs affected by parameter variability and state space uncertainty. Our approach is based on a reformulat...
Andrea Y. Weiße, Illia Horenko, Wilhelm Huis...
FUZZY
2004
Springer
134views Fuzzy Logic» more  FUZZY 2004»
15 years 8 months ago
Ubiquitous Robot
- The UPnP(Universal Plug and Play) architecture offers pervasive peer-to-peer network connectivity of intelligent appliances in dynamic distributed computing environment. This pap...
Jong-Hwan Kim
« Prev « First page 1020 / 1362 Last » Next »