Search Sciweavers | Sciweavers

Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...

Steve J. Chapin, Eugene H. Spafford

claim paper

Read More »

9

click to vote

COMCOM
1998

81views more COMCOM 1998»

Secure broadcasting in large networks

13 years 4 months ago

Download dsns.csie.nctu.edu.tw

In this note, we show that a proposed secure broadcasting scheme is insecure. We also present a modiﬁed scheme to overcome this weakness. The modiﬁed scheme has the extra adva...

Hung-Min Sun, Shiuh-Pyng Shieh

claim paper

Read More »

8

click to vote

COMCOM
1998

117views more COMCOM 1998»

Specification, validation, and verification of time-critical systems

13 years 4 months ago

Download dsns.csie.nctu.edu.tw

In this paper, we propose a new formalism, named the Timed Communicating Finite State Machine (Timed CFSM), for specifying and verifying time-critical systems. Timed CFSM preserve...

Shiuh-Pyng Shieh, Jun-Nan Chen

claim paper

Read More »

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers