23 |
IMMERSE: Interactive Mentoring for Multimodal Experiences in Realistic Social Encounters
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
24 |
Auditory Perception in an Open Space: Detection and Recognition
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
25 |
Examining the Role of Religiosity in Moral Cognition, Specifically in the Formation of Sacred Values, and Researching Computational Models for Analyzing Sacred Rhetoric and its Consequential Emotions
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
26 |
Methods for Evaluating Text Extraction Toolkits: An Exploratory Investigation
|
|
|
|
In: DTIC (2015)
|
|
BASE
|
|
Show details
|
|
27 |
Rapid Grammar Collection as an Approach to Language Development
|
|
|
|
BASE
|
|
Show details
|
|
28 |
CmapTools como herramienta didáctica para mejorar competencias en estudiantes de educación secundaria
|
|
|
|
BASE
|
|
Show details
|
|
29 |
Herramientas y Utilidades Software de Apoyo a la Toma de Decisión Lingüística y a Procesos de Consenso Bajo Incertidumbre
|
|
|
|
BASE
|
|
Show details
|
|
30 |
Logically timed specifications in the AADL : a synchronous model of computation and communication (recommendations to the SAE committee on AADL)
|
|
|
|
In: https://hal.inria.fr/hal-00970244 ; [Technical Report] RT-0446, INRIA. 2014, pp.27 (2014)
|
|
Abstract:
The purpose of this document is to provide an analysis of the SAE standard AADL (AS5506) and submit recommendations for equipping it with a synchronous model of computation and communication (MoCC). Our goal is to provide a framework that best fits the semantic and expressive capability of the AADL, and is designed in a way that requires as few conceptual, semantic, or syntactic extensions as possible, on either the standard or its existing annexes. Our approach consists of the definition of an algebraic framework in which time is formally defined from implicit or specified AADL concepts, such as events. Starting from these concepts, that constitute the synchronous core of the AADL, we define a formal design methodology to use the AADL in a way that supports formal analysis, verification and synthesis of timed properties. By putting forward synchrony and timing, we intend to define time starting from software and hardware events that incur synchronisation in an architecture specification. Synchronisation indeed is the fundamental artefact from which time can be sensed, in either software or hardware. Synchrony relates to that fundamental concept as a model of computation and communication, applicable to both software and hardware design. It puts emphasis on logical time, abstracted through synchronisation points, in order to break down computations into zero-time reactions and regard communications as instantaneous. While abstracting real time, synchronous logical time provides an algebraic framework in which both event-driven and time-triggered execution policies can be specified. Bridging the gap between system-level, logical, synchronous specifications and time-triggered, distributed, and dynamically scheduled real-time applications necessitates a refinement-based design methodology, which we additionally intend to outline, to support the applicability of the proposed concepts in system design. To support the formal presentation of our MoCC, we define a algebra of automata consisting of transition systems and logical timing constraints. We consider the behaviour annex (BA) as the mean to implement this model, together with the constraint annex (CA), as a mean to represent abstractions of behaviour annexes using clock constraints and regular expressions. ; L'architecture logiciel d'un système embarqué est un artefact de conception de constituants hétérogènes au croisement de plusieurs points de vue: logiciel, matériel, physique. Le temps à une nature différente quand il est observé de ces points de vue différents : il est discret et évènementiel vu du logiciel, discret et périodique vu du matériel, et continu en physique. Il n'est pas surprenant que ce soit une notion commune à l'architecte d'un système, étant donné sa criticité, sa diversité, la difficulté de le maitriser. Pour compliquer les choses un peu plus, les formalismes de spécification et de programmation de haut-niveau utilisés pour spécifier ces systèmes altèrent significativement cette perception du temps. Dans un modèle physique, on simule le temps par des équations différentielles dont la résolution est discrète. Dans un modèle matériel, on représente les circuits par différents niveaux d'abstractions pour faire face à leur complexité: registre, transaction, système. Dans un modèle logiciel, on abstrait le temps par un modèle conceptuel de la concurrence, pas exemple synchrone. Délivrer un cadre mathématique, des outils de vérification et de synthèse, pour analyser, composer, orchestrer ces modèles serait d'une valeur inestimable pour l'architecte d'un système. L'architecte travaille en effet d'un point de vue ou' toutes les composantes d'un système: logiciel, intergiciel, matériel, environnement; doivent être analysés, profilés, évalués, composés, simulés et validés. L'objectif de ce document est de proposer un cadre méthodologique formel pour conduire le travail de l'architecte: l'exploration d'architecture et le prototypage virtuel de systèmes embarqués. Pour définir cette méthodologies, nous nous appuyons sur le standard AADL (architecture analysis description language) du consortium SAE, auquel nous recommandons la définition d'une annexe temporelle au standard.
|
|
Keyword:
!formal!semantics!and!analysis; !SAE!standard!AADL!; !synchronous!programming; [INFO.INFO-CL]Computer Science [cs]/Computation and Language [cs.CL]; [INFO.INFO-ES]Computer Science [cs]/Embedded Systems; [INFO.INFO-MO]Computer Science [cs]/Modeling and Simulation; [INFO.INFO-OH]Computer Science [cs]/Other [cs.OH]; [INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; ACM: D.: Software/D.2: SOFTWARE ENGINEERING; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.1: Requirements/Specifications; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.2: Design Tools and Techniques; ACM: D.: Software/D.2: SOFTWARE ENGINEERING/D.2.4: Software/Program Verification; ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.1: Formal Definitions and Theory; ACM: D.: Software/D.3: PROGRAMMING LANGUAGES/D.3.3: Language Constructs and Features; ACM: I.: Computing Methodologies; embedded!system!design
|
|
URL: https://hal.inria.fr/hal-00970244v2/file/RT_446.pdf https://hal.inria.fr/hal-00970244 https://hal.inria.fr/hal-00970244v2/document
|
|
BASE
|
|
Hide details
|
|
31 |
Guiding learners to near native fluency in English through an adaptive programme of activities which includes phoneme and prosody analysis.
|
|
|
|
BASE
|
|
Show details
|
|
32 |
Impact of Machine-Translated Text on Entity and Relationship Extraction
|
|
|
|
In: DTIC (2014)
|
|
BASE
|
|
Show details
|
|
33 |
A Component-Based Approach for Specifying DSML's Concrete Syntax
|
|
|
|
In: 2nd Workshop on Graphical Modeling Language Development (GMLD 2013) ; https://hal.inria.fr/hal-00829173 ; 2nd Workshop on Graphical Modeling Language Development (GMLD 2013), Jul 2013, Montpellier, France. pp.3-11, ⟨10.1145/2489820.2489822⟩ (2013)
|
|
BASE
|
|
Show details
|
|
34 |
Enabling Efficient Intelligence Analysis in Degraded Environments
|
|
|
|
In: DTIC (2013)
|
|
BASE
|
|
Show details
|
|
35 |
Free and Open Source Software in language mediator education:The MINTRAD Project
|
|
|
|
In: Translation and Interpreting : the International Journal of Translation and Interpreting Research, Vol 5, Iss 2 (2013) (2013)
|
|
BASE
|
|
Show details
|
|
36 |
Supplementing textbooks with computer-based resources in the primary EFL-classroom
|
|
|
|
In: 89 (2012)
|
|
BASE
|
|
Show details
|
|
37 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.informatik.uni-marburg.de/%7Ekaestner/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
38 |
Variability-aware parsing in the presence of lexical macros and conditional compilation
|
|
|
|
In: http://www.cs.cmu.edu/~ckaestne/pdf/oopsla11_typechef.pdf (2011)
|
|
BASE
|
|
Show details
|
|
39 |
Λογισμικά για την εκμάθηση ξένης γλώσσας από άτομα με προβλήματα όρασης ...
|
|
|
|
BASE
|
|
Show details
|
|
40 |
Expanding the Toolkit and Resource Environment to Assist Translation (TREAT) and Its User Base
|
|
|
|
In: DTIC (2011)
|
|
BASE
|
|
Show details
|
|
|
|