Sciweavers

20126 search results - page 3526 / 4026
» Timed Transition Systems
Sort
View
CCGRID
2003
IEEE
16 years 14 days ago
RelayCast: A Middleware for Application-level Multicast Services
Application-level multicast (ALM) is being increasingly recognized as a solution to support multipoint applications without the need for a network layer multicast protocol. Though...
Nodoka Mimura, Kiyohide Nakauchi, Hiroyuki Morikaw...
CGI
2003
IEEE
16 years 14 days ago
Immersive Vehicle Simulators for Prototyping, Training and Ergonomics
In most vehicle simulators, complete physical mockups equipped with steering wheel, gearshift and pedals are required. These devices are essential in trying to simulate real condi...
Marcelo Kallmann, Patrick Lemoine, Daniel Thalmann...
COMPSAC
2003
IEEE
16 years 14 days ago
A Cut-Based Algorithm for Reliability Analysis of Terminal-Pair Network Using OBDD
In this paper, we propose an algorithm to construct the Ordered Binary Decision Diagram (OBDD) representing the cut function of a terminal-pair network. The algorithm recognizes i...
Yung-Ruei Chang, Hung-Yau Lin, Ing-Yi Chen, Sy-Yen...
CSFW
2003
IEEE
16 years 14 days ago
Using Access Control for Secure Information Flow in a Java-like Language
Access control mechanisms are widely used with the intent of enforcing confidentiality and other policies, but few formal connections have been made between information flow and...
Anindya Banerjee, David A. Naumann
DATE
2003
IEEE
103views Hardware» more  DATE 2003»
16 years 14 days ago
Reduced Delay Uncertainty in High Performance Clock Distribution Networks
The design of clock distribution networks in synchronous digital systems presents enormous challenges. Controlling the clock signal delay in the presence of various noise sources,...
Dimitrios Velenis, Marios C. Papaefthymiou, Eby G....
« Prev « First page 3526 / 4026 Last » Next »