3389 search results - page 555 / 678 » Real-Time and Fault-Tolerant Systems |
IJCSA
2006
13 years 10 months ago
2006
This paper presents a formal approach based on Time Petri net (TPN) for the coherence control of SMIL documents. TPN model has been widely used to specify real time systems. The q...
COMSIS
2007
13 years 10 months ago
2007
The theoretical outcomes and experimental results of new color model implemented in algorithms and software of image processing are presented in the paper. This model, as it will b...
IANDC
2007
13 years 10 months ago
2007
Temporal logic based on the two modalities “Since” and “Until” (TL) is the most popular logic for the specification of reactive systems. It is often called the linear tim...
JCM
2007
13 years 10 months ago
2007
—Modulation techniques have attracted increasing attention in optical wireless communications. Basic schemes such as on off keying (OOK), pulse amplitude modulation (PAM) and pul...
JSW
2007
13 years 10 months ago
2007
— UML sequence diagrams focus on the interaction between different classes. For distributed real time transaction processing it is possible to end up with complex sequence diagra...