Results 1 to 10 of about 1,081 (78)
Monitoring distributed systems with distributed polyLarva [PDF]
, 2014 polyLarva is a language-agnostic runtime verification tool, which converts a polyLarvaScript into a monitor for a given system. While an implementation for polyLarva exists, the language and its compilation have not been formalised.
Cassar, Ian +2 more
core +1 more source
Towards a Formal Model of Recursive Self-Reflection [PDF]
, 2019 Self-awareness holds the promise of better decision making based on a comprehensive assessment of a system\u27s own situation. Therefore it has been studied for more than ten years in a range of settings and applications.
Jantsch, Axel
core +2 more sources
Intelligent agent simulator in massive crowd [PDF]
, 2018 Crowd simulations have many benefits over real-life research such as in computer games, architecture and entertainment. One of the key elements in this study is to include elements of decision-making into the crowd.
Ahmad, A. +7 more
core +2 more sources
Modelling Reactive Multimedia: Design and Authoring [PDF]
, 2005 Multimedia document authoring is a multifaceted activity, and authoring tools tend to concentrate on a restricted set of the activities involved in the creation of a multimedia artifact.
Cameron, Helen +2 more
core +1 more source
Step-Indexed Relational Reasoning for Countable Nondeterminism [PDF]
, 2013 Programming languages with countable nondeterministic choice are computationally interesting since countable nondeterminism arises when modeling fairness for concurrent systems.
Birkedal, Lars +2 more
core +1 more source
Embedding object-oriented design in system engineering [PDF]
, 1999 The Unified Modeling Language (UML) is a collection of techniques intended to document design decisions about software. This contrasts with systems engineering approaches such as for exampleStatemate and the Yourdon Systems Method (YSM), in which the ...
D Harel, RJ Wieringa
core +2 more sources
MPEG Reconfigurable Video Coding: From specification to a reconfigurable implementation [PDF]
, 2013 International audienceThis paper demonstrates that it is possible to produce automatic, reconfigurable, and portable implementations of multimedia decoders onto platforms with the help of the MPEG Reconfigurable Video Coding (RVC) standard. MPEG RVC is a
Gorin, Jérôme +2 more
core +3 more sources
On Automating the Doctrine of Double Effect [PDF]
, 2017 The doctrine of double effect ($\mathcal{DDE}$) is a long-studied ethical principle that governs when actions that have both positive and negative effects are to be allowed. The goal in this paper is to automate $\mathcal{DDE}$.
Bringsjord, Selmer +1 more
core +1 more source
Kahn Process Networks and a Reactive Extension [PDF]
, 2013 Kahn and MacQueen have introduced a generic class of determinate asynchronous data-flow applications, called Kahn Process Networks (KPNs) with an elegant mathematical model and semantics in terms of Scott-continuous functions on data streams together ...
A. Benveniste +20 more
core +8 more sources
Classification and transformation of dynamic dataflow programs [PDF]
, 2010 International audienceDataflow programming has been used to describe signal processing applications for many years, traditionally with cyclostatic dataflow (CSDF) or synchronous dataflow (SDF) models that restrict expressive power in favor of compile ...
Raulet, Mickael, Wipliez, Matthieu
core +3 more sources