Results 11 to 20 of about 1,081 (78)

Classification of Dataflow Actors with Satisfiability and Abstract Interpretation [PDF]

, 2012
International audienceDataflow programming has been used to describe signal processing applications for many years, traditionally with cyclo-static dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile ...
Raulet, Mickaël, Wipliez, Matthieu
core   +2 more sources

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, Clark, Tony, Oussena, Samia   +2 more
core   +1 more source

Our(?) Concept of Food or, They are Eating Their Pets

European Journal of Philosophy, EarlyView.
Abstract This article examines the idea that deep disagreements are best understood as rooted in conceptual differences rather than differences in judgments and opinions, by means of a reflection on the differences between a vegan and a meat eater. The aim is not to develop a new theory of “deep disagreement” but to gain clarity about one field in ...
Niklas Forsberg
wiley   +1 more source

Polysemy and roots: Deep versus shallow fetching

Mind &Language, EarlyView.
The paper argues for a model of polysemy based on the blueprint offered by Paul Pietroski whereby the meaning of a lexical item is an instruction to fetch a concept from an address. We show that the bare idea of fetching admits of a deep construal, where a concept is fetched, and a shallow construal, where the instruction merely links a lexical item to
John Collins, Tamara Dobler
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., Antoni J. De, Armstrong J., Bettini L., C. A., Combemale B., Cook S., De Antoni J., Fredlund L.-a., Gupta M., Lee E. A., Luoma J., Mayerhofer T., Plotkin G. D., Ptolemaeus C., Rosu G.   +15 more
core   +3 more sources

Uniquely human temporal thoughts

Mind &Language, EarlyView.
Life on Earth will eventually come to an end. The thought expressed in the previous sentence is about a point in time that is not known to the individual entertaining the thought. This paper is concerned with the nature of such temporal thoughts. We propose that the capacity to mentally represent thoughts about non‐specific temporal intervals is a ...
İsa Kerem Bayırlı
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, Antoy, Antoy, Ariola, Borovanský, Brassel, Brassel, Brassel, Caballero, Clavel, DeGroot, Dijkstra, Echahed, Escobar, Futatsugi, González-Moreno, González-Moreno, Hanus, Hanus, Hughes, JUAN RODRÍGUEZ-HORTALÁ, Launchbury, Lucas, Lucas, López-Fraguas, López-Fraguas, López-Fraguas, López-Fraguas, López-Fraguas, Plasmeijer, Riesco, Roy, Sterling, Søndergaard, Wadler, Warren   +35 more
core   +1 more source

Ability and Actuality

Philosophical Perspectives, EarlyView.
ABSTRACT This paper gives a new account of the actuality entailments of ability claims. We observe that, in the environments which give rise to the actuality entailment, ability claims carry a presupposition of trying. We show that, given this presupposition, the actuality entailment is straightforwardly predicted by a conditional theory of ability. We
David Boylan, Ginger Schultheis
wiley   +1 more source

Advanced modelling made simple with the Gmodel metalanguage. [PDF]

, 2010
Gmodel is a metalanguage that has been designed from the ground up to enable specification and instantiation of modelling languages. Although a number of metalanguages can be used for this purpose, most provide no or only limited support for modular ...
Bettin, J., Bettin, J., Clark, T., Clark, T.   +3 more
core   +1 more source

Quotation for Dummies

Philosophical Perspectives, EarlyView.
ABSTRACT Quotation marks in natural language that do not function straightforwardly as devices for securing reference to linguistic objects have generally been categorized as instances of either mixed quotation or scare quotation. I argue that certain uses of quotation marks in natural language resist assimilation to either of these two theoretical ...
Cameron Domenico Kirk‐Giannini
wiley   +1 more source