1 |
ImproteK: introducing scenarios into human-computer music improvisation
|
|
|
|
In: ACM Computers in Entertainment ; https://hal.archives-ouvertes.fr/hal-01380163 ; ACM Computers in Entertainment, 2017, ⟨10.1145/3022635⟩ (2017)
|
|
BASE
|
|
Show details
|
|
2 |
Pyannote.metrics: a toolkit for reproducible evaluation, diagnostic, and error analysis of speaker diarization systems
|
|
|
|
In: Annual Conference of the International Speech Communication Association ; https://hal.archives-ouvertes.fr/hal-01836450 ; Annual Conference of the International Speech Communication Association , Aug 2017, Stockholm, Sweden (2017)
|
|
BASE
|
|
Show details
|
|
3 |
Interactive Tools and Tasks for the Hebrew Bible ; Interactive Tools and Tasks for the Hebrew Bible: From Language Learning to Textual Criticism
|
|
|
|
In: EISSN: 2416-5999 ; Journal of Data Mining and Digital Humanities ; https://hal.archives-ouvertes.fr/hal-01287195 ; Journal of Data Mining and Digital Humanities, Episciences.org, 2017, Special Issue on Computer-Aided Processing of Intertextuality in Ancient Languages (2017)
|
|
BASE
|
|
Show details
|
|
4 |
An empirical study on the interplay between semantic coupling and co-change of software classes
|
|
|
|
BASE
|
|
Show details
|
|
5 |
The Disciple: A Talking Platformer
|
|
|
|
In: Senior Projects Spring 2017 (2017)
|
|
BASE
|
|
Show details
|
|
6 |
Challenges in the Computational Implementation of Montagovian Lexical Semantics
|
|
|
|
In: New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops Revised Selected Papers ; https://hal.inria.fr/hal-01559219 ; New Frontiers in Artificial Intelligence: JSAI-isAI 2016 Workshops Revised Selected Papers, 14, Springer, pp.90-107, 2017, 978-3-319-61572-1. ⟨10.1007/978-3-319-61572-1_7⟩ ; http://dx.doi.org/10.1007/978-3-319-61572-1_7 (2017)
|
|
BASE
|
|
Show details
|
|
7 |
Towards a REST Cloud Computing Lexicon
|
|
|
|
In: Proceedings of the 7th International Conference on Cloud Computing and Services Science ; 7th International Conference on Cloud Computing and Services Science, CLOSER 2017 ; https://hal.archives-ouvertes.fr/hal-01480593 ; 7th International Conference on Cloud Computing and Services Science, CLOSER 2017, INSTICC, Apr 2017, Porto, Portugal. pp.376--383, ⟨10.5220/0006281203760383⟩ ; http://closer.scitevents.org/?y=2017 (2017)
|
|
BASE
|
|
Show details
|
|
9 |
Синергия гуманитарного и математического знания как педагогическое условие решения междисциплинарных проблем
|
|
|
|
BASE
|
|
Show details
|
|
10 |
A Formally Verified Interpreter for a Shell-like Programming Language
|
|
|
|
In: VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments ; https://hal.archives-ouvertes.fr/hal-01534747 ; VSTTE 2017 - 9th Working Conference on Verified Software: Theories, Tools, and Experiments, Jul 2017, Heidelberg, Germany (2017)
|
|
BASE
|
|
Show details
|
|
11 |
Revisiting Visitors for Modular Extension of Executable DSMLs
|
|
|
|
In: 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems ; https://hal.inria.fr/hal-01568169 ; 2017 ACM/IEEE 20th International Conference on Model Driven Engineering Languages and Systems, Sep 2017, Austin, United States. ⟨10.1109/MODELS.2017.23⟩ (2017)
|
|
BASE
|
|
Show details
|
|
12 |
Semantic-Directed Clumping of Disjunctive Abstract States *
|
|
|
|
In: POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages ; https://hal.inria.fr/hal-01648679 ; POPL 2017 - 44th ACM SIGPLAN Symposium on Principles of Programming Languages, Jan 2017, Paris, France. pp.32-45, ⟨10.1145/3009837.3009881⟩ (2017)
|
|
BASE
|
|
Show details
|
|
13 |
On Language Interfaces
|
|
|
|
In: PAUSE: Present And Ulterior Software Engineering ; https://hal.inria.fr/hal-01424909 ; Bertrand Meyer; Manuel Mazzara. PAUSE: Present And Ulterior Software Engineering, Springer, 2017 (2017)
|
|
BASE
|
|
Show details
|
|
14 |
Practical Subtyping for System F with Sized (Co-)Induction
|
|
|
|
In: https://hal.archives-ouvertes.fr/hal-01289760 ; 2017 (2017)
|
|
BASE
|
|
Show details
|
|
15 |
AD-LIBS: inferring ancestry across hybrid genomes using low-coverage sequence data.
|
|
|
|
In: BMC bioinformatics, vol 18, iss 1 (2017)
|
|
BASE
|
|
Show details
|
|
16 |
Real-Time Systems Development Exploiting Aspect-Oriented Approach ; Développement de Systèmes Temps Réels Exploitant l'Approche Orientée Aspects
|
|
|
|
In: https://hal.archives-ouvertes.fr/tel-01543395 ; Génie logiciel [cs.SE]. Faculté des Sciences de Tunis, 2017. Français (2017)
|
|
Abstract:
Real-time and embedded systems are becoming increasingly complex due to hardware evolution led by Moore's law. New development approaches are needed to master this complexity. The aspect-oriented approach allows separating functional and non-functional mechanisms when implementing a computer system. This makes it easier to implement and maintain these applications. It is within this setting that the research of this thesis takes place. We proposed a new approach, called AOM-RTSys, for the design of real-time systems. Indeed, a real-time system can be seen as a composition of functional and nonfunctional requirements. These include time, scheduling and synchronization constraints. From this point of view, any standard application can be transformed into a real-time application by "weaving" non-functional constraints. This approach has been applied in the field of object-oriented design of real-time systems, with UML and its profile MARTE. AOM-RTSys allows integrating real-time constraints, modeled with MARTE, into an initial model. The integration of the constraints is ensured by a weaving operation which consists in adding these constraints in well-defined locations by the designer using a weaving plane constituted by instances of weaving rules. A weaver called NOLE carries out the weaving operation. The Weaver inputs an initial model and a set of constraints in the form of one or more weaving planes in order to generate a target, real-time model. To ensure the proper functioning of the weaving process provided by the weaver NOLE, we opted for the integration of a process of verification and validation in the latter. Validation and verification of rule instances involve four main steps: Lexical, syntactic, semantic and aspect checking. These checks aim to detect and predict potential conflicts. ; Les systèmes temps réel et embarqués ne cessent de gagner en complexité grâce à l'évolution du matériel menée par la loi de Moore. Des nouvelles approches de développement sont nécessaires afin de maîtriser cette complexité. L'approche orientée aspect permet de séparer les mécanismes fonctionnels de ceux non-fonctionnels lors de l'implémentation d'un système informatique. Ceci facilite la mise en œuvre et la maintenance de ces applications. C'est dans ce contexte général que s'inscrivent les travaux de recherche de cette thèse. Nous avons proposé une nouvelle approche, appelée AOM-RTSys, pour la conception des systèmes temps réel. En effet, un système temps réel peut être vu comme une composition des besoins fonctionnels et ceux non fonctionnels. Ces derniers, regroupent des contraintes de temps, d'ordonnancement et de synchronisation. Partant de ce point de vue, toute application standard peut se transformer en une application temps réel par <<~tissage~>> de contraintes non fonctionnelles. Cette approche a été appliquée dans le domaine de la conception orientée objet, des systèmes temps réel, avec UML et son profil MARTE. AOM-RTSys permet d'intégrer des contraintes temps réel, modélisées avec MARTE, dans un modèle initiale. L'intégration des contraintes est assurée par une opération de tissage qui consiste à ajouter ces contraintes dans des emplacements bien déterminés par le concepteur en utilisant un Plan de tissage constitué par des instances de règles de tissages. L'opération de tissage est assurée par un tisseur que nous avons appelé NOLE. Le tisseur prend en entrée un modèle initial et un ensemble de contraintes sous forme d'un ou plusieurs plans de tissages afin de générer un modèle temps réel cible. Afin d'assurer le bon fonctionnement du processus de tissage assuré par le tisseur NOLE, nous avons opté pour l'intégration d'un processus de vérification et de validation dans ce dernier. La validation et la vérification des instances de règles comporte quatre étapes principale ; la vérification lexicale, syntaxique, sémantique et d'aspect. Ces vérifications visent à détecter et prévoir les conflits possibles.
|
|
Keyword:
[INFO.INFO-SE]Computer Science [cs]/Software Engineering [cs.SE]; [INFO.INFO-SY]Computer Science [cs]/Systems and Control [cs.SY]; Aspect Oriented Modelling; MARTE; Modélisation orientée aspect; Real-time systems; Systèmes temps réel; UML
|
|
URL: https://hal.archives-ouvertes.fr/tel-01543395/document https://hal.archives-ouvertes.fr/tel-01543395/file/TheseNaoufelMachtaF.pdf https://hal.archives-ouvertes.fr/tel-01543395
|
|
BASE
|
|
Hide details
|
|
17 |
Dependent Event Types
|
|
|
|
In: Logic, Language, Information, and Computation ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017) ; https://hal.archives-ouvertes.fr/hal-01913662 ; 24th International Workshop Logic, Language, Information, and Computation (WoLLIC 2017), Jul 2017, London, United Kingdom. pp. 216-228 (2017)
|
|
BASE
|
|
Show details
|
|
18 |
Projet ModRef : Migration de Données vers des Triplestores CIDOC-CRM
|
|
|
|
In: 35e édition du Congrès National Inforsid ; https://hal.archives-ouvertes.fr/hal-01579337 ; 35e édition du Congrès National Inforsid, May 2017, Toulouse, France ; http://inforsid.fr/Toulouse2017/dates-appels/ (2017)
|
|
BASE
|
|
Show details
|
|
19 |
ModRef Project: from Creation to Exploitation of CIDOC-CRM Triplestores ; Projet ModRef :de la Création à l'Exploitation de Triplestores CIDOC-CRM
|
|
|
|
In: The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) ; https://hal.archives-ouvertes.fr/hal-01578878 ; The Fifth International Conference on Building and Exploring Web Based Environments (WEB 2017) , May 2017, Barcelona, Spain ; http://www.iaria.org/conferences2017/WEB17.html (2017)
|
|
BASE
|
|
Show details
|
|
20 |
The narrative effects of classical music in palliative care ; Les effets narratifs de la musique classique dans les soins palliatifs
|
|
|
|
In: ISSN: 1778-3798 ; EISSN: 1778-381X ; Psycho-Oncologie ; https://hal.archives-ouvertes.fr/hal-01792126 ; Psycho-Oncologie, Springer, 2017, 11 (4), pp.243-251. ⟨10.1007/s11839-017-0637-7⟩ (2017)
|
|
BASE
|
|
Show details
|
|
|
|