Results 31 to 40 of about 731,022 (305)
Dynamic Causality in Event Structures [PDF]
Logical Methods in Computer Science, 2015 Event Structures (ESs) address the representation of direct relationships between individual events, usually capturing the notions of causality and conflict. Up to now, such relationships have been static, i.e., they cannot change during a system run. Thus, the common ESs only model a static view on systems. We make causality dynamic by allowing causal
Youssef Arbach +3 more
openaire +7 more sources
(Non-)homogeneity in Dutch impersonal passives of unaccusatives [PDF]
Bucharest Working Papers in Linguistics, 2011 This paper sheds new light on the behaviour of telic predicates, particularly unaccusatives (opstijgen ‘take off’, vallen ‘fall’), in the Dutch impersonal passive (= ImpersP) construction.
Mara van Schaik-Rădulescu
doaj +1 more source
From Event-B models to Dafny code contracts [PDF]
, 2015 International audienceThe constructive approach to software correctness aims at formal modelling and verification of the structure and behaviour of a system in different levels of abstraction. In contrast, the analytical approach to software verification
Mohammadsadegh Dalvandi +5 more
core +1 more source
Planning and Leveraging Event Portfolios: Towards a Holistic Theory [PDF]
, 2013 This conceptual paper seeks to advance the discourse on the leveraging and legacies of events by examining the planning, management, and leveraging of event portfolios.
Ziakas, Vassilios, Ziakas, V
core +1 more source
Agentive reflexive clitics and transitive 'se' constructions in Spanish
Borealis: An International Journal of Hispanic Linguistics, 2013 This paper investigates the structure of transitive sentences that contain a non-doubling reflexive clitic such as Juan se lavó todos los platos and María se leyó un libro. Though these are traditionally labelled unselected (non-core) agreeing datives or
Grant Armstrong
doaj +1 more source
, 2006 An integrated environment, Supremica, for verification, synthesis and simulation of discrete event systems is presented. The basic model in Supremica is finite automata where the transitions have an associated event together with a guard condition and an
\uc5kesson, Knut +8 more
core +1 more source
Bioinspired event-driven collision avoidance algorithm based on optic flow
, 2015 Any mobile agent, whether biological or robotic, needs to avoid collisions with obstacles. Insects, such as bees and flies, use optic flow to estimate the relative nearness to obstacles. Optic flow induced by ego-motion is composed of a translational and
Benosmanz, Ryad +12 more
core +1 more source
Theoretical Computer Science, 2014 zbMATH Open Web Interface contents unavailable due to conflicting licenses.
openaire +1 more source
Event Structure and Non-Culminating Readings in Turkic
LanguagesSince the seminal work by David Dowty, much inspired by the earlier ideas of Generative Semantics, a number of proposals have been developed accounting for the internal constitution and interpretation of accomplishment event predicates like ‘open the ...
Sergei Tatevosov
doaj +1 more source
An introduction to event structures
DAIMI Report Series, 1989 Event structures are models of processes as events constrained by relations of consistency and enabling. These notes are intended to introduce the mathematical theory of event structures, show how they are related to Petri nets and Scott domains, and how they can be used to provide semantics to programming languages for parallel processes as well as ...
openaire +2 more sources