Results 51 to 60 of about 1,122 (80)
The Calculus of Signal Flow Diagrams I: Linear relations on streams [PDF]
, 2017 We introduce a graphical syntax for signal flow diagrams based on the language of symmetric monoidal categories. Using universal categorical constructions, we provide a stream semantics and a sound and complete axiomatisation.
Bonchi, F, Sobociński, P, Zanasi, F
core
Reference tracking and non-canonical referring expressions in Indonesian [PDF]
, 2016 Adams, Nikki B. +2 more
core +1 more source
Information Systems and Web Information Systems: A Methodological Perspective
, 2000 International audienceThe Development of Information Systems (ISD) is a complex activity that requires methodological support. Current ISD methods are predominantly following an object driven paradigm that allows us to capture the static as well as the ...
Rolland, Colette
core +2 more sources
Mentat: An object-oriented macro data flow system [PDF]
Mentat, an object-oriented macro data flow system designed to facilitate parallelism in distributed systems, is presented. The macro data flow model is a model of computation similar to the data flow model with two principal differences: the ...
Grimshaw, Andrew S., Liu, Jane W. S.
core +1 more source
Linguistic embodiment and verbal constraints: human cognition and the scales of time. [PDF]
Front Psychol, 2014 Cowley SJ.
europepmc +1 more source
Towards Semantically Integrated Models and Tools for Cyber-Physical Systems Design [PDF]
, 2016 Fitzgerald, John +5 more
core +1 more source
Abstracts of the talks at the Second International Workshop on the Semantics of Programming Languages in Bad Honnef : March 19-23, 1979 [PDF]
, 1979 core