Results 41 to 50 of about 93,604 (308)
Simulation of stevedoring work in the Klaipeda oil terminal
Transport, 2002 The paper presents the approach of developing simulation models of stevedoring work in oil terminal using aggregate approach and simulation system ARENA. Aggregate approach permits to develop formal specification of simulated systems.
Henrikas PraneviÄius, Dalius Makackas
doaj +1 more source
, 2014 This text is a general, self contained, and tool independent introduction into the Java Modeling Language, JML. It is a preview of a chapter planned to appear in a book about the KeY approach and tool to the verification of Java software. JML is the dominating starting point of KeY style Java verification. However, this paper does not in any way depend
Huisman, Marieke +3 more
openaire +3 more sources
, 2007 The primary objective of software specification is to promote understanding of the system properties between stakeholders. Specification comprehensibility is essential particularly during software validation and maintenance as it permits the ...
Michael R. Poppleton +9 more
core +1 more source
Research on formal security policy model specification and its formal analysis
Tongxin xuebao, 2006 Formal method is one of the kernel technologies of developing high security level computer system.But by current formal development method,assurance of security policy model correctness cannot be provided directly using machine proof which is stricter ...
LI Li-ping1 +4 more
doaj +2 more sources
Proceedings of the 20th Conference on Formal Methods in Computer-Aided Design – FMCAD 2020
, 2020 The Conference on Formal Methods in Computer-Aided Design (FMCAD) is an annual conference on the theory and applications of formal methods in hardware and system verification.
core +1 more source
Teaching Formal Models of Concurrency Specification and Analysis
Моделирование и анализ информационных систем, 2015 There is a widespread and rapidly growing interest to the parallel programming nowadays. This interest is based on availability of supercomputers, computer clusters and powerful graphic processors for computational mathematics and simulation. MPI, OpenMP,
N. V. Shilov
doaj +1 more source
Specification and Verification of Context-dependent Services [PDF]
Electronic Proceedings in Theoretical Computer Science, 2011 Current approaches for the discovery, specification, and provision of services ignore the relationship between the service contract and the conditions in which the service can guarantee its contract.
Naseem Ibrahim +2 more
doaj +1 more source
Towards Topology-Free Programming for Cyber-Physical Systems with Process-Oriented Paradigm
Sensors, 2023 The paper proposes a topology-free specification of distributed control systems by means of a process-oriented programming paradigm. The proposed approach was characterized, on the one hand, by a topologically independent specification of the control ...
Vladimir E. Zyubin +3 more
doaj +1 more source
FEBS Letters, EarlyView.Septin 9 polybasic domains couple phosphoinositide‐rich membrane binding to centrosome positioning, Golgi organization, and microtubule acetylation to control epithelial polarity. Their loss disrupts this axis, causing centrosome mispositioning, Golgi fragmentation, reduced microtubule acetylation, and polarity inversion via upregulation of the ...
Ting ting Cai +4 more
wiley +1 more source
Formal Specification for Learning-Enabled Autonomous Systems [PDF]
, 2022 The formal specification provides a uniquely readable description of various aspects of a system, including its temporal behavior. This facilitates testing and sometimes automatic verification of the system against the given specification.
Molin, Adam +6 more
core +1 more source