Sciweavers

2644 search results - page 205 / 529
» Emerging Technology
Sort
View
ETFA
2006
IEEE
15 years 11 months ago
Modelling and Verification of IEC 61499 Applications using Prolog
This paper presents a new approach to modelling and verification of function block applications of the IEC 61499 standard. The approach uses the language of logic programming Prol...
Victor Dubinin, Valeriy Vyatkin, Hans-Michael Hani...
ETFA
2006
IEEE
15 years 11 months ago
Integrating Inaccessibility Control and Timer Management in CANELy
The CAN Enhanced Layer (CANELy) is a CAN-based infrastructure capable of extremely reliable communication. This paper describes the mechanisms and the techniques used in CANELy to...
José Rufino, Paulo Veríssimo, Carlos...
ETFA
2006
IEEE
15 years 11 months ago
Advance in Multiply Sectioned Bayesian Networks: Sensor Network Practitioners' Perspective
Multiplysectioned Bayesian networks provide a probabilistic framework for reasoning about uncertain domains in cooperative multiagent systems. Several advances have been made in r...
Y. Xiang, K. Zhang
102
Voted
ETFA
2005
IEEE
15 years 10 months ago
Towards analyzing the fault-tolerant operation of server-CAN
This work-in-progress (WIP) paper presents Server-CAN and highlights its operation and possible vulnerabilities from a fault tolerance point of view. The paper extends earlier wor...
Thomas Nolte, Guillermo Rodríguez-Navas, Ju...
ETFA
2005
IEEE
15 years 10 months ago
RTnet - a flexible hard real-time networking framework
In this paper, the Open Source project RTnet is presented. RTnet provides a customisable and extensible framework for hard real-time communication over Ethernet and other transpor...
J. Kiszka, B. Wagner