Results 21 to 30 of about 1,081 (78)
Uneventful: Event Semantics for “Qua”
Philosophical Perspectives, EarlyView.ABSTRACT Event semantics promise a straightforward account of the truth conditions of qualifications with “as” or “qua” as well as the inferences such qualifications license. In this paper, I argue that these promises are difficult to keep. On natural ways of developing the view, an event semantics of qualification yields either the wrong predictions ...
Annina Loets
wiley +1 more source
Philosophical Perspectives, EarlyView.ABSTRACT To measure is to err. Serving both numeric and non‐numeric measurement, the language of measurement refers to margins of error, within which measurement reports locate their measurements. Such reports and reasoning from them invoke what is known and what is known to be known about error‐strewn measurement to derive and contrast the ...
Barry Schein
wiley +1 more source
On Synchronous and Asynchronous Monitor Instrumentation for Actor-based systems
, 2015 We study the impact of synchronous and asynchronous monitoring instrumentation on runtime overheads in the context of a runtime verification framework for actor-based systems.
Cassar, Ian, Francalanza, Adrian
core +2 more sources
Philosophical Perspectives, EarlyView.ABSTRACT We can use “reason,” with its normative sense, as both a count noun (“there is a reason for her to Φ”) and a mass noun (“there is plenty of reason for her to Φ”). How are the count and mass senses of “reason” related? Daniel Fogal argues that the mass sense is fundamental: Just as lights are merely those things that give light and anxieties ...
Eliot Watkins
wiley +1 more source
Philosophical Perspectives, EarlyView.ABSTRACT In a pure event semantics for natural language, the domain of quantification and predication is limited to events and states. I offer pure event semantic analyses of several phenomena, some of which have not been treated before in formal semantics. In the pure event semantics sketched in the second section, nouns are state predicates, and this
Roger Schwarzschild
wiley +1 more source
Guardians for Concurrent Systems [PDF]
, 1980 In this paper we survey the current state of the art on fundamental aspects of concurrent systems. We discuss the notion of concurrency and discuss a model of computation which unifies the lambda calculus model and the sequential stored program model. We
Attardi, Giuseppe, Hewitt, Carl
core
Theoria, EarlyView.Abstract This paper argues for the significance of Kaplan's logic LD in two ways: first, by looking at how logic got along before we had LD, and second, by using it to bring out the similarity between David Hume's thesis that one cannot deduce claims about the future on the basis of premises only about the past, and the so‐called "essentiality" of the ...
Gillian Russell
wiley +1 more source
Work Analysis with Resource-Aware Session Types
, 2018 While there exist several successful techniques for supporting programmers in deriving static resource bounds for sequential code, analyzing the resource usage of message-passing concurrent processes poses additional challenges. To meet these challenges,
Carbonneaux Quentin +8 more
core +1 more source
A pivotal-based approach for enterprise business process and IS integration [PDF]
, 2012 A company must be able to describe and react against any endogenous or exogenous event. Such flexibility can be achieved through business process management (BPM).
Belaud, Jean-Pierre +2 more
core +1 more source
Winged horses, rascals and discourse referents
Theoria, EarlyView.Abstract This paper discusses some remarks Kaplan made in ‘Bob and Carol and Ted and Alice’ concerning empty names. I show how his objections to a particular view involving descriptions derived from Ramsification can be avoided by a nearby alternative framed in terms of discourse reference.
Andreas Stokke
wiley +1 more source