Filters








16 Hits in 2.9 sec

Distributed Automata and Logic [article]

Fabian Reiter
2018 arXiv   pre-print
For the local variant of those automata, where the number of rounds is bounded by a constant, Hella et al. (2012, 2015) have established a logical characterization in terms of basic modal logic.  ...  In this thesis, we provide similar logical characterizations for two more expressive classes of distributed automata.  ...  Automates, Algorithmes distribués, Logique modale, Logique monadique du second ordre, Graphes.  ... 
arXiv:1805.06238v1 fatcat:6cdcn5fkszae5c4qeqs5elhdga

Automatic Generation of Wireless Sensor Networks Scheduling

Anis Mezni, Emil Dumitrescu, Eric Niel, Samir Ben Ahmed
2017 2017 International Conference on High Performance Computing & Simulation (HPCS)  
PCLA repose sur les automates d'apprentissage "Learning Automata" pour ordonnancer les noeuds ( mode actif ou veille).  ...  Ce travail de conception est effectué manuellement, selon une logique globale qui doit mettre en oeuvre un comportement distribué et communicant, et nécessite de ce fait un grand niveau d'expertise.  ...  Yet, the distributed behavior of a WSN remains centered on two main objectives: sensing and routing.  ... 
doi:10.1109/hpcs.2017.32 dblp:conf/ieeehpcs/MezniDNA17 fatcat:755dzbtrcvf5fk7ugzfxskblde

Verification of Infinite-State Systems [chapter]

2013 Models and Analysis in Distributed Systems  
Une etude tr es compl ete de la d ecidabilit e et de la complexit e du probl eme de v eri cation de syst emes in nis par rapport a plusieurs logiques temporelles lin eaires et arborescentes a r ecemment  ...  et e faite par Mayr May98 .  ...  We show in particular that the veri cation problem of a logic which is more expressive than the linear-time mu-calculus is decidable for classes of systems like push-down automata and Petri nets.  ... 
doi:10.1002/9781118602638.ch8 fatcat:ux7ja54r6vazdjoktlf4qel3qi

Decoupling context management and application logic: A new framework

Bachir Chihani, Emmanuel Bertin, Noel Crespi
2013 2013 IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)  
Abstract Context-aware applications must manage a continuous stream of contextual events according to dedicated business logic.  ...  The concepts proposed by the thesis provide a foundation for an effective design of context-aware applications where the context-related operations can be easily separated from the business logic of an  ...  and recurrent tasks to the system for automation.  ... 
doi:10.1109/wowmom.2013.6583486 dblp:conf/wowmom/ChihaniBC13 fatcat:bqytp54lwrgstlphn6q7ewho7m

Towards a new methodology for design, modelling, and verification of reconfigurable distributed control systems based on a new extension to the IEC 61499 standard [article]

Safa Guellouz Ep Addad, Universität Des Saarlandes
2021
As a result, an evaluation of system performance and an estimation of reconfiguration risks are obtained. The RFBA methodology is applied on a distributed power system case study.  ...  Using a probabilistic model checker PRISM, the generated GR-TNCES model is checked using defined properties specified in computation tree logic.  ...  Stanica and Guéguen [Stanica and Guéguen, 2004] have modelled function block network with timed automata.  ... 
doi:10.22028/d291-34818 fatcat:mmwm4iequfhbncdiukphi5yzoe

Evaluation des systèmes de détection d'intrusions

-Anas -ABOU EL KALAM
2006 Revue de l Electricité et de l Electronique  
It provides the salient features of logic programming and constraint programming by providing logic variables, disjunctive constructs and programmable search strategies.  ...  En effet, un IDS peut être un programme monolithique installé sur une seule machine ou distribué sur plusieurs hôtes qui gèrent plusieurs processus : captures et prétraitement d'événements, analyse et  ...  Analytical evaluation It is usually based on some model of the system under study not the system itself and can be done at any stage during the development cycle.  ... 
doi:10.3845/ree.2006.102 fatcat:erwecavq3zh33o3b5aemi5q5gm

A machine-checked proof of correctness of Pastry [article]

Noran Azmy, Universität Des Saarlandes, Universität Des Saarlandes
2017
Aside from needed bug fixes, LuPastry + contains new definitions that make the specification more modular and significantly improve proof automation.  ...  A distributed hash table (DHT) is a peer-to-peer network that o↵ers the function of a classic hash table, but where di↵erent key-value pairs are stored at di↵erent nodes on the network.  ...  Le langage de spécification est fondé sur la logique temporelle des actions (temporal logic of actions, TLA), une variante de la logique temporelle de temps linéaire définie par Leslie Lamport en 1994,  ... 
doi:10.22028/d291-26683 fatcat:3gjufw6lvva6fgz3chst3dbl3m

Crossing: The INPR Journal. Volume I. November 2020

Crossing: The INPR Journal
2020 Crossing: The INPR Journal  
Loin de rester chacune sur leur pré-carré, philosophie et théologie sont appelées aujourd'hui à se croiser et à davantage se féconder mutuellement, dans le respect de la distinction des disciplines.  ...  Et les chercheurs de différents pays, en particulier ceux qui feront la pensée de demain, doivent  ...  that used teletechnological means to distribute its age-old phantasms?  ... 
doi:10.21428/8766eb43.1ccfd795 fatcat:2ojrsuym3jfuzkunmtrrfe2tge

VERS UNE CARTOGRAPHIE DES CONNAISSANCES GUIDEE PAR FOUILLE DE DONNEES : 1 ERE ETAPE-MODELISATION BOOLEENNE

Ere Etape -Modelisation, Booleenne Menaouer, Atmani Baghdad
unpublished
, through manufacturing and maintenance, to the distribution and services.  ...  Dispositifs Outils de gestion Finalités Structures R&D Distribution des missions Gatekeepers Système d'information R&D Organiser R&D Centraliser et distribuer l'information Faciliter les collaborations  ... 
fatcat:ezmcggz3rvf5bmcdgww4undhbe

Algorithmic Verification of Component-based Systems

Qiang Wang
2017
Automated verification and parameterized verification still remain very active areas of research, particularly for concurrent and distributed systems.  ...  Cette logique est assez puissante pour exprimer les architectures trouvées dans les systèmes distribués, y compris les architectures classiques : anneaux de passage de jetons, cliques de rendezvous, cliques  ... 
doi:10.5075/epfl-thesis-7753 fatcat:4qp56tew7bfchdah4ewaw35v2i

Sandbox Culture: A Study of the Application of Free and Open Source Software Licensing Ideas to Art and Cultural Production

Aymeric Mansoux
2017
and broadly applied.  ...  divergence in interpreting and appropriating the free and open source techno-legal template.  ...  TERMES ET CONDITIONS DE COPIE, DISTRIBUTION ET MODIFICATION 1.  ... 
doi:10.25602/gold.00022606 fatcat:qb2cyo4nezeshc3jvowzsucxdu

LA FRANCOPOLYPHONIE Numéro 8/2013 vol. 1 L'INTERCULTURALITÉ ET LA MONDIALISATION SÉMIOTIQUE À TRAVERS LA LINGUISTIQUE ET LA TRADUCTION

Alain Vuillemin, Elena Prus, Ulim Hamon
unpublished
Contributions du Colloque International L'interculturalité et la mondialisation sémiotique à travers la linguistique, la littérature, la traduction et la communication coorganisé avec l'Université Paris-Est  ...  Créteil Chiinu, ULIM, le 29/03/2013 La publication de ce numéro a été rendue possible grâce au soutien financier de l'  ...  Cuvinte-cheie: semio-logic situa ional , hexad situa ional , poli semio-logici, orizonturi lingvistice, semio-logic traductologic . Signes-indices de la pensée systémique actuelle.  ... 
fatcat:sdlwvpjcfzdypibzllwk3ae47q

Computer architecture : from the orthogonal valuation of names up to structuring the N-stream

Jean-Louis Lafitte, Charles-André Heritier, Bastien Chopard
2002
On Structured Data Handling in Parallel Processing Cet article présente les premiers aspects du modèle que nous proposons et a été publié dans les ACM Computer Architecture News en décembre 1995.  ...  Tu les rouleras comme un habit, et ils seront changés. tels que les rapporte le Psaume 102.  ...  In such a case, we are dealing with n logical PEs, each of them being implemented as a pair of Distributed Scheduler / Netlist Manager processes, described later.  ... 
doi:10.13097/archive-ouverte/unige:203 fatcat:iwfub4tfmngxtem7zkuachah2m

Bibliographies scientifiques : de la recherche d'informations à la production de documents normés * * * 2,(%*3%*'45(%","/%*6%*7*3)/%89&%*:;<:* * * =5&>*?*

Gérald Kembellec
unpublished
Du fait de la charge cognitive et temporelle de plus en plus importante en contexte d'investigation, de telles contraintes risquent d'amener à une perte de qualité pour la recherche d'information et de  ...  La bibliographie scientifique d'un chercheur rend compte de sa phase de documentation, de son positionnement et de ses choix argumentatifs.  ...  Le corpus de recherche sera composé des intitulés d'articles parus depuis 1945 et référencés dans la « DataBase systems and Logic Programming (DBLP) » par Michael Ley de l'Université allemande de Trier  ... 
fatcat:f6ncikrscjbq3jxpeop2qtew5m

Construction collaborative d'une base lexi-cale multilingue Le projet Papillon Word usage identification from a crowd-sourced lexical network built with online games

Mathieu Mangeot-Lerebours, -Gilles Sérasset, -Mathieu Lafourcade, Mathieu Lafourcade, Alain Joubert
unpublished
Les vecteurs d'idées et les réseaux lexicaux semblent de bons candidats et constituent ensemble des structures complémentaires.  ...  and weighted relations between those objects.  ...  The first is based on logic and the second on vector-space algebra.  ... 
fatcat:hlykecaoxvhrripoon5gbhtiju
« Previous Showing results 1 — 15 out of 16 results