Results 61 to 70 of about 2,084,052 (380)
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
A Survey of Languages for Specifying Dynamics: A Knowledge Engineering Perspective [PDF]
, 2000 A number of formal specification languages for knowledge-based systems has been developed. Characteristics for knowledge-based systems are a complex knowledge base and an inference engine which uses this knowledge to solve a given problem.
Engelfriet, Joeri +6 more
core +7 more sources
Formal specification and verification [PDF]
, 2019 Beyond his seminal contributions to the theory and the design of concurrent and distributed algorithms, Leslie Lamport has throughout his career worked on methods and formalisms for rigorously establishing the correctness of algorithms.
openaire +3 more sources
Requirements modelling and formal analysis using graph operations [PDF]
, 2006 The increasing complexity of enterprise systems requires a more advanced analysis of the representation of services expected than is currently possible.
Abrial J-R +28 more
core +3 more sources
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
Simulation of stevedoring work in the Klaipėda oil terminal [PDF]
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.
D. Makackas, H. Pranevičius
doaj
Formal refinement of extended state machines [PDF]
Electronic Proceedings in Theoretical Computer Science, 2016 In a traditional formal development process, e.g. using the B method, the informal user requirements are (manually) translated into a global abstract formal specification. This translation is especially difficult to achieve.
Thomas Fayolle +3 more
doaj +1 more source
Formal Test Automation: The Conference Protocol with PHACT [PDF]
, 2000 We discuss a case study of automatic test generation and test execution based on formal methods. The case is the Conference Protocol, a simple, chatbox-like protocol, for which (formal) specifications and multiple implementations are publicly available ...
Feenstra, Jan +2 more
core +2 more sources
Molecular Oncology, EarlyView.In patients treated with atezolizumab as a part of the MyPathway (NCT02091141) trial, pre‐treatment ctDNA tumor fraction at high levels was associated with poor outcomes (radiographic response, progression‐free survival, and overall survival) but better sensitivity for blood tumor mutational burden (bTMB).
Charles Swanton +17 more
wiley +1 more source
An Abstract Formal Basis for Digital Crowds [PDF]
, 2014 Crowdsourcing, together with its related approaches, has become very popular in recent years. All crowdsourcing processes involve the participation of a digital crowd, a large number of people that access a single Internet platform or shared service.
Dennis, Louise A. +2 more
core +2 more sources