A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modelling evolvable component systems: Part I: A logical framework
2009
Logic Journal of the IGPL
Preserved Fulltext
We develop a logical modelling approach to describe evolvable computational systems. ...
We model such systems in a revision-based first-order logical framework in which supervisors are modelled as theories which are at a logical meta-level to the theories of their components. ...
Instead, we introduce logical structures which capture the component hierarchy of a system and also model the logical relationship between supervisors and supervisees within a system. ...
doi:10.1093/jigpal/jzp026
fatcat:g5wsz4iq4ngu7dwebglv7d4iqu
A Logical Framework for Systems Biology
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour. ...
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. ...
Our aim is to find the logical essence of biochemical reactions. ...
doi:10.1007/978-3-319-10398-3_10
fatcat:d7evjgpf2jbnldjouh3budpzuq
A Logical Framework for Systems Biology
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
We show how such a logic can be used, with worlds as instants of time, as an unified framework to encode both biological systems and temporal properties of their dynamic behaviour. ...
We propose a novel approach for the formal verification of biological systems based on the use of a modal linear logic. ...
The second author thanks François Fages, Sylvain Soliman, Alessandra Carbone, Vincent Danos, and Jean Krivine for fruitful discussions on various preliminary versions of the HyLL logic in view of its potential ...
arXiv:1404.5439v1
fatcat:ozovyfxkize7vfhojwzd2rti7u
EFSMT: A Logical Framework for Cyber-Physical Systems
[article]
2013
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
components, and synthesis for hybrid control systems. ...
We address this challenge with EFSMT, the exists-forall quantified first-order fragment of propositional combinations over constraints (including nonlinear arithmetic), as the logical framework and foundation ...
We have demonstrated, by means of reducing a variety of design problems, including the stability of control systems and orchestration of system components, that EFSMT is an adequate logical framework for ...
arXiv:1306.3456v1
fatcat:pnxnvy6kcff3xaitmcvp36fj3y
A Type-2 Fuzzy Logic Based Framework for Function Points
2013
International Journal of Intelligent Systems and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Accurate software estimation is very critical for a pro ject success. There are many software predict ion models and all of them utilize software size as a key factor to estimate effort. ...
Evaluation experiments have shown the framework to be promising. ...
A fuzzy complexity measurement system that takes into account all five Unadjusted Function Points function components is built after the fu zzy logic system for each function component is established as ...
doi:10.5815/ijisa.2013.03.08
fatcat:qi7q4iwfzrhnfpz7uoqpakwweq
A rewriting logic framework for operational semantics of membrane systems
2007
Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
In this paper we define an operational semantics of a basic class of P systems, and give two implementations of the operational semantics using rewriting logic. ...
in a "biological way". ...
In our case, the control part of a P system is different from that of a programming language. ...
doi:10.1016/j.tcs.2006.12.016
fatcat:ezucdylnm5eoloebsg4ahaqsw4
Hybridizing a Logical Framework
2007
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems. ...
More importantly, it makes it possible to realize a metalogical framework capable of reasoning about stateful deductive systems encoded in the style familiar from prior work with LLF, taking advantage ...
Abstract The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems. ...
doi:10.1016/j.entcs.2006.11.030
fatcat:uzgxb2zi5rdbhpzkfuojq5ccrq
A Logical Framework for Monitoring and Evolving Software Components
2007
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software Engineering (TASE '07)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We present a revision-based logical framework for modelling hierarchical assemblies of evolvable component systems. ...
An evolvable component pair is itself a component so may have its own supervisor, or may be encapsulated as part of a larger component. ...
systems in this logical framework, see [5] . ...
doi:10.1109/tase.2007.4
dblp:conf/tase/BarringerRG07
fatcat:wapf73nggrg3vkckpefha2e33i
A framework for specifying and verifying the behaviour of open systems
2005
The Journal of Logic and Algebraic Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is application/pdf.
where components are going to be assembled into a system. ...
Building on this, we propose a methodology for modeling and verifying behavioural aspects of open systems. ...
, even if based on an event model and provided with temporal logic based analysis, cannot naturally express dynamically evolving system specifications. ...
doi:10.1016/j.jlap.2004.05.004
fatcat:dfpvdsdftndpflvzevf4qwmvge
WLIMES, the Wandering LIMES: Towards a Theoretical Framework for Wandering Logic Intelligence Memory Evolutive Systems
[chapter]
2012
Integral Biomathics
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
This paper compares two complementary theories, Simeonov's Wandering Logic Intelligence and Ehresmann's & Vanbremeersch's Memory Evolutive Systems, in view of developing a common framework for the study ...
of multiscale complex systems such as living systems. ...
Introduction This paper is divided in 3 parts: (i) The first one gives a brief summary on the Wandering Logic Intelligence (WLI); a biology-inspired theoretical and practical framework for designing evolutionary ...
doi:10.1007/978-3-642-28111-2_11
fatcat:zn6mefda5bf7berzum6fabhski
A General Trace-Based Framework of Logical Causality
[chapter]
2014
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
In component-based safety-critical embedded systems it is crucial to determine the cause(s) of the violation of a safety property, be it to issue a precise alert or to determine liability of component ...
In this paper we present an approach to blame components based on a single execution trace violating a safety property P . ...
RR n°8378
hal-00873665, version 1 -16 Oct 2013 A General Trace-Based Framework of Logical Causality 11 5 Application to Synchronous Data Flow In this section we use the general framework to model a ...
doi:10.1007/978-3-319-07602-7_11
fatcat:g75o4cjwczcj3c5wz6hfrn7u5e
Towards a Logic-Based Unifying Framework for Computing
[article]
2014
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
Note that this fulltext copy is not of the "primary" version of this work. The version it corresponds to is:
2013 pre-print arXiv:1301.6905v1 fatcat:vrqh3k4idzfq3hh44wnitct7fq
In this paper we propose a logic-based, framework inspired by artificial intelligence, but scaled down for practical database and programming applications. ...
Computation in the framework is viewed as the task of generating a sequence of state transitions, with the purpose of making an agent's goals all true. ...
Reactive systems An LPS framework <R, L, D> is essentially a reactive system in which logic programs L and causal theories D play a supporting role to reactive rules R. ...
arXiv:1301.6905v2
fatcat:ff3obn7povf2bn5zkvy4wxzqvm
A Logic-Based Framework for the Management of Changing Software Requirements
2015
Lecture Notes on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Ultimate aim is to propose a framework to manage this important trait in the process of software development. ...
Basically change is a transition from current way of working to another looked-for way and this nature of the change coupled with complexity of services create problems. ...
Change request through a control board for change (CCB), to see effect of change on various components of the whole system. ...
doi:10.7763/lnse.2015.v3.203
fatcat:ltvl4uejcjboljhftbfxnd2bai
A Many-Valued Temporal Logic and Reasoning Framework for Decision Making
[chapter]
2010
Computational Intelligence in Complex Decision Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2011; you can also visit the original URL.
The file type is application/pdf.
Temporality and uncertainty are important features of real world systems where the state of a system evolves over time and the transition through states depends on uncertain conditions. ...
In this chapter, we extend a previously proposed temporal reasoning framework to enable the management of uncertainty based on a many-valued logic. ...
Consider a scenario where the task is to model a kitchen monitored by sensors in a Smart Home system. ...
doi:10.2991/978-94-91216-29-9_5
fatcat:dw4sz6dh4ndmflllh5ei5wvw3a
Rewriting Logic as a Framework for Generic Verification Tools
2000
Electronical Notes in Theoretical Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
More specifically, the syntax and semantics of the specification language has to be described in terms of Rewriting Logic, a unified semantic framework for concurrency. ...
In this paper we propose to employ Rewriting Logic as a generic and uniform approach to support different specification languages for distributed systems in verification tools. ...
To be more specific, from every part of a language definition like the one in Example 3.2 certain components of the Truth system are derived: • The ALGEBRA part induces a set of constructor symbols Σ which ...
doi:10.1016/s1571-0661(05)80123-9
fatcat:iegpmy6b5fcdpp26kngilrw3fe
« Previous
Showing results 1 — 15 out of 168,362 results