Results 11 to 20 of about 1,122 (80)
LEAP: a precise lightweight framework for enterprise architecture. [PDF]
, 2011 This paper proposes LEAP: a simple framework for Enterprise Architecture (EA) that views an organization as an engine that executes in terms of hierarchically decomposed communicating components.
Barn, Balbir +2 more
core +1 more source
What are particularistic pejoratives?
Mind &Language, EarlyView.Particularistic pejoratives (PPs) mock individuals based on their personal attributes yet lack a precise definition. This paper seeks to refine our understanding of PPs by examining their derogatory profiles across three dimensions: descriptiveness, intensity, and slurring potential.
Víctor Carranza‐Pinedo
wiley +1 more source
Philosophical Perspectives, EarlyView.ABSTRACT Joint inquiry requires agents to exchange public content about some target domain, which in turn requires them to track which content a linguistic form contributes to a conversation. But, often, the inquiry delivers a necessary truth. For example, if we are inquiring whether a particular bird, Tweety, is a woodpecker, and discover that it is ...
Una Stojnić, Matthew Stone
wiley +1 more source
Weaving Concurrency in eXecutable Domain-Specific Modeling Languages [PDF]
, 2015 International audienceThe emergence of modern concurrent systems (e.g., Cyber-Physical Systems or the Internet of Things) and highly-parallel platforms (e.g., many-core, GPGPU pipelines, and distributed platforms) calls for Domain-Specific Modeling ...
Agha G. A. +15 more
core +3 more sources
The Gradability of ‘Conscious’
Philosophy and Phenomenological Research, EarlyView.ABSTRACT Are some creatures “more conscious” than others? A number of consciousness researchers have aimed to answer this question. Yet some have claimed that this question does not even make sense. They claim that “conscious” (in the phenomenal sense) never occurs as a gradable adjective, meaning an adjective that permits degree expressions (“more f ...
Andrew Y. Lee, Poppy Mankowitz
wiley +1 more source
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
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
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
Singular and Plural Functions for Functional Logic Programming
, 2012 Functional logic programming (FLP) languages use non-terminating and non-confluent constructor systems (CS's) as programs in order to define non-strict non-determi-nistic functions.
ADRIÁN RIESCO +35 more
core +1 more source
(Co‐)Reference All the Way Down: A Unified Theory of (Pro) Nominals in Ordinary English
Theoria, EarlyView.ABSTRACT This essay joins two themes, both arising from Kripke's inspiring ideas in the theory of reference. The first theme concerns reference in general. The second examines the notion of co‐reference and the role it plays in a unified theory of pronouns for natural language.
Jessica Pepp, Joseph Almog
wiley +1 more source