Formal Aspects of Computing

Công bố khoa học tiêu biểu

* Dữ liệu chỉ mang tính chất tham khảo

Sắp xếp:  
Dynamical Quantities in Net Systems
Formal Aspects of Computing - Tập 14 - Trang 55-89 - 2002
Hartmann J. Genrich
The paper presents some known material of higher-level Petri nets in analogy to the dynamics of physical systems. Its aim is to widen the view on the role of the incidence matrix in the analysis of net systems. Rather than focusing on constant state quantities (S-invariants) and cyclic actions (T-invariants), i.e. on solutions of the homogeneous equation systems based on the incidence matrix, it ...... hiện toàn bộ
Forthcoming events
Formal Aspects of Computing - Tập 3 - Trang 308-312 - 1991
Dynamic intransitive noninterference revisited
Formal Aspects of Computing - Tập 29 - Trang 1087-1120 - 2017
Sebastian Eggert, Ron van der Meyden
The paper studies dynamic information flow security policies in an automaton-based model. Two semantic interpretations of such policies are developed, both of which generalize the notion of TA-security [van der Meyden ESORICS 2007] for static intransitive noninterference policies. One of the interpretations focuses on information flows permitted by policy edges, the other focuses on prohibitions i...... hiện toàn bộ
Mechanising Mondex with Z/Eves
Formal Aspects of Computing - Tập 20 Số 1 - Trang 117-139 - 2008
Freitas, Leo, Woodcock, Jim
We describe our experiences in mechanising the specification, refinement, and proof of the Mondex Electronic Purse using the Z/Eves theorem prover. We took a conservative approach and mechanised the original LaTEX sources without changing their technical content, except to correct errors. We found problems in the original specification and some missing invariants in the refinements. Based on these...... hiện toàn bộ
Editorial
Formal Aspects of Computing - Tập 33 - Trang 1037-1037 - 2021
Jordi Cabot, Heike Wehrheim, Eerke Boiten
A formal approach to adaptive software: continuous assurance of non-functional requirements
Formal Aspects of Computing - Tập 24 Số 2 - Trang 163-186 - 2012
Antonio Filieri, Carlo Ghezzi, Giordano Tamburrelli
Abstract Modern software systems are increasingly requested to be adaptive to changes in the environment in which they are embedded. Moreover, adaptation often needs to be performed automatically, through self-managed reactions enacted by the application at run time. Off-line, human-driven changes should be requested only if self-adaptation cannot be achi...... hiện toàn bộ
Editorial
Formal Aspects of Computing - Tập 3 - Trang 1-1 - 1991
David Gries
Độ tương đương kiểm thử như một độ tương đương bisimulation Dịch bởi AI
Formal Aspects of Computing - Tập 5 - Trang 1-20 - 1993
Rance Cleaveland, Matthew Hennessy
Trong bài báo này, chúng tôi chỉ ra cách mà độ tương đương kiểm thử và thứ tự tiền đề trên các hệ thống chuyển tiếp có thể được diễn giải như các trường hợp của độ tương đương bisimulation tổng quát và thứ tự tiền bisimulation. Việc đặc trưng hóa dựa trên việc định nghĩa các phép biến đổi trên các hệ thống chuyển tiếp sao cho các quan hệ kiểm thử trên các hệ thống gốc tương ứng với các quan hệ (ti...... hiện toàn bộ
#độ tương đương kiểm thử #bisimulation #tiền bisimulation #hệ thống chuyển tiếp #quan hệ kiểm thử
Interval timed coloured Petri net: efficient construction of its state class space preserving linear properties
Formal Aspects of Computing - Tập 20 - Trang 225-238 - 2007
Hanifa Boucheneb
We consider here the interval timed coloured Petri net model (ITCPN). This model associates with each created token a time interval specifying when the token will become available and forces enabled transitions to occur as soon as possible. This model can simulate other timed Petri nets and allows to describe large and complex real-time systems. We propose a much more efficient contraction for its...... hiện toàn bộ
Book reviews
Formal Aspects of Computing - - 1990
Tim Denvir, Rosamund Rawlings, Tom Parke, S. J. Goldsack, Anthony Hall
Tổng số: 713   
  • 1
  • 2
  • 3
  • 4
  • 5
  • 6
  • 10