نتایج جستجو برای: 2 operational
تعداد نتایج: 2589701 فیلتر نتایج به سال:
Bialgebras and distributive laws are an abstract, categorical framework to study various flavors of Structural Operational Semantics. This papers aims to introduce the reader to the basics of bialgebras for operational semantics, and to sketch the state of the art in this research area.
A format for well-behaved translations between structural operational specifications is derived from a notion of distributive law morphism, previously studied by Power and Watanabe. 1998 ACM Subject Classification F.3.2 Semantics of Programming Languages – Operational semantics
In this paper, we give novel and more liberal notions of operational and equational conservativity for language extensions. We motivate these notions by showing their practical application in existing formalisms. Based on our notions, we formulate and prove meta-theorems that establish conservative extensions for languages defined using Structural Operational Semantics (SOS).
This paper addresses two key issues in modern policyoriented poverty research. First, we recognize that poverty is an individual feeling and not an objective status. This leads to an operational definition of subjective poverty as being below a certain degree of satisfaction. Second, we distinguish several domains of life, and consequently, several types of poverty, each pertaining to a specifi...
Intelligent tutoring Systems (ITSs) adapt content and activities with the goals of being both effective and efficient instructional environments. They have goals for students to be challenged and guided in an optimal way--without being too overwhelmed with difficult material or too bored with easy or repetitive material. We propose a particular definition of the zone of proximal development (ZP...
In this section we introduce the syntax and operational semantics of MiKO. MiKO is a distributed higher order instance of TyCO-calculus [5] based on the MIKADO’s membrane model [2, 3], distributing processes over a flat network of domains. The migration of code from one domain to another passes always through the domains’s membranes. The calculus contains special primitives to handle migration ...
Considering operators defined using Structural Operational Semantics (SOS), commutativity axioms are intuitive properties that hold for many of them. Proving this intuition is usually a laborious task, requiring several pages of boring and standard proof. To save this effort, we propose a syntactic SOS format which guarantees commutativity for a set of composition operators.
Benefits gained by a multisource solution in various contexts of application are nowadays obvious. The goal of this interesting approach is both to capture benefits of sources and to minimize their limitations. Usually, each source is defined and modeled over a unique frame composed of the hypotheses to discern. Sources can then be merged by the combination process provided by the theory that e...
1 Scientific Institute of Public Health, Operational Direction Public Health and Surveillance, Infectious Diseases in the General Population, Brussels, Belgium 2 Scientific Institute of Public Health, Operational Direction Transmitted and Infectious Diseases, Virology Diseases, Brussels, Belgium 3 Participating laboratories further listed in the acknowledgement [email protected] Con...
نمودار تعداد نتایج جستجو در هر سال
با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید