Specification and Verification of Multimedia Synchronization Scenarios Using Time-Estelle

Artículos similares

Formalizing the Blockchain-Based BlockVoke Protocol for Fast Certificate Revocation Using Colored Petri Nets

Acceso

Anant Sujatanagarjuna, Arne Bochem and Benjamin Leiding

Protocol flaws such as the well-known Heartbleed bug, security and privacy issues or incomplete specifications, in general, pose risks to the direct users of a protocol and further stakeholders. Formal methods, such as Colored Petri Nets (CPNs), facilita... ver más

Revista: Information

New Security Improvements in Next-Generation Passive Optical Networks Stage 2 ?

Acceso

Vlastimil Clupek, Tomas Horvath, Petr Munster and Vaclav Oujezsky

Passive optical networks are currently the most promising solution for access networks. These networks rely on broadcast signal distribution in the downstream direction and unicast signal transmission in the upstream direction. The upstream direction is ... ver más

Revista: Applied Sciences

Specification and Verification in Integrated Model of Distributed Systems (IMDS)

Acceso

Wiktor B. Daszczuk

Revista: Computers

Study on The Optimization of Collection and Distribution System of Freight Hub Ports: Illustrated by The Case of Shanghai International Shipping Center, China

Acceso

Xiang Zhou, Xiaohong Chen, Luning Shao Pág. 1126 - 1136

The development of world-class international shipping centers has proved that there isn?t a specific pattern for the development of the freight collection and distribution system. Measures should be taken to give a full play to integrated advantages by g... ver más

Revista: Transportation Research Procedia

Knowledge-Based Systems - Knowledge-Based Software Architectures: Acquisition, Specification, and Verification

Acceso

Tsai, J J P; Liu, A; Juan, E; Sahay, A Pág. 187 - 201

Revista: IEEE TRANSACTIONS ON KNOWLEDGE AND DATA ENGINEERING

Artículos similares

Revistas destacadas