A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Filters
Distributed Automata and Logic
[article]
2018
arXiv
pre-print
Preserved Fulltext
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
2017
2017 International Conference on High Performance Computing & Simulation (HPCS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2013
2013 IEEE 14th International Symposium on "A World of Wireless, Mobile and Multimedia Networks" (WoWMoM)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
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]
2021
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
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
2006
Revue de l Electricité et de l Electronique
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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]
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
2020
Crossing: The INPR Journal
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
, 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
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
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
2017
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
2002
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
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&>*?*
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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
unpublished
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
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