Results 91 to 100 of about 8,449 (302)
Cyber Attack Simulation for Operational Security Evaluation Using Coloured Petri Nets
International Journal of Information and Communication Technology Research, 2012 Today, cyber attacks to computer networks have turned into a real challenge for network administrators. A wide range of methods have been used for attack modeling and security quantification.
Mehrdad Ashtiani +1 more
doaj
Труды Института системного программирования РАН, 2018 The language of message sequence charts (MSC) is a popular scenario-based specification language used to describe the interaction of components in distributed systems. However, the methods for validation of MSC diagrams are underdeveloped.
S. A. Chernenok, V. A. Nepomniaschy
doaj +1 more source
Conductive Hydrogels for Exogenous Sensing and Cell Fate Control
Advanced Materials, EarlyView.We engineer electrically conductive hydrogels by combining sulfated glycosaminoglycans with semiconducting polymers. These hydrogels bind bioactive proteins, including growth factors, whose release or retention can be modulated by low‐voltage stimulation. The hydrogels are also integrated as 3D channels in organic electrochemical transistors as part of
Teuku Fawzul Akbar +15 more
wiley +1 more source
Self-modifiable color petri nets for modeling user manipulation and network event handling [PDF]
, 2003 A Self-Modifiable Color Petri Net (SMCPN) which has multimedia synchronization capability and the ability to model user manipulation and network event (i.e. network congestion, etc.) handling is proposed in this paper.
Guan, SU, Liu, W
core +1 more source
How to find Invariants for Coloured Petri Nets
DAIMI Report Series, 1981 This paper shows how invariants can be found for coloured Petri nets. We define a set of transformation rules, which can be used to transform the incidence-matrix, without changing the set of invariants.
openaire +2 more sources
Advanced Materials Interfaces, EarlyView.Hybrid WPU coatings with a hierarchical structure are constructed by first directional freezing polymerization of degradable hydrogels with a vertical channel structure and then filling these channels with aqueous WPU solution containing carbon nitride (g‐C3N4) nanosheets.
Xiaobei Zhou +8 more
wiley +1 more source
Performance analysis using coloured Petri nets
Proceedings. 10th IEEE International Symposium on Modeling, Analysis and Simulation of Computer and Telecommunications Systems, 2002 This booklet is the author's PhD-dissertation.
openaire +4 more sources
Advanced Materials Interfaces, EarlyView.Chitosan–TiO2 composite hydrogels combine adsorption of organic pollutants with photocatalysis, allowing to remove 85% of a broadly diffused antibiotic (sulfamethoxazole) under direct sunlight irradiation, opening great promises for point‐of‐use, outdoor applications.
Beatrice Cerea +5 more
wiley +1 more source
Моделирование и анализ информационных систем, 2014 The standard language of message sequence charts MSC is intended to describe scenarios of object interaction. Due to their expressiveness and simplicity MSC diagrams are widely used in practice at all stages of system design and development.
S. A. Chernenok, V. A. Nepomniaschy
doaj +1 more source
Object-based Control/Data-flow Analysis
, 2005 Not only does a clear distinction between control and data flow enhance the readability of models, but it also allows different tools to operate on the two distinct parts of the model.
Farwer, Berndt, Varea, Mauricio
core