Results 1 to 10 of about 1,063 (62)
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.
I. Cassar +2 more
semanticscholar +3 more sources
The XMM deep survey in the CDF-S. IX. An X-ray outflow in a luminous obscured quasar at z~1.6 [PDF]
, 2015 In active galactic nuclei (AGN)-galaxy co-evolution models, AGN winds and outflows are often invoked to explain why super-massive black holes and galaxies stop growing efficiently at a certain phase of their lives.
C. Vignali +53 more
semanticscholar +1 more source
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
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
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
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
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. +3 more
core +1 more source
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