Filtrer vos résultats
- 224
- 43
- 195
- 57
- 5
- 4
- 3
- 2
- 1
- 266
- 1
- 1
- 1
- 1
- 1
- 1
- 6
- 15
- 11
- 11
- 7
- 5
- 10
- 22
- 21
- 12
- 12
- 14
- 19
- 12
- 15
- 6
- 11
- 1
- 11
- 3
- 1
- 3
- 2
- 4
- 9
- 7
- 3
- 2
- 1
- 3
- 1
- 1
- 2
- 1
- 258
- 9
- 265
- 11
- 9
- 7
- 6
- 5
- 4
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 267
- 20
- 15
- 14
- 12
- 12
- 12
- 11
- 11
- 11
- 10
- 9
- 9
- 9
- 9
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
267 résultats
Exploiting Local Persistency for Reduced State Space Generation12th International Conference on Verification and Evaluation of Computer and Communication Systems VECoS 2018, Oct 2018, Porto, Portugal. pp.166-181, ⟨10.1007/978-3-030-00359-3_11⟩
Communication dans un congrès
hal-02475841v1
|
|||
Mobility Load Balancing over Intra-frequency Heterogeneous Networks Using Handover AdaptationInternational Conference on Verification and Evaluation of Computer and Communication Systems. VECoS 2017, Aug 2017, Montreal, Canada. pp.108-123, ⟨10.1007/978-3-319-66176-6_8⟩
Communication dans un congrès
hal-02476503v1
|
|||
|
|
IoT-based smart and complex systems: a guest editorial reportIEEE/CAA Journal of Automatica Sinica, 2018, 5 (1), pp.69-73. ⟨10.1109/JAS.2017.7510748⟩
Article dans une revue
hal-02475831v1
|
||
Necessary and sufficient liveness condition of GS 3 PR Petri netsInternational Journal of Systems Science, 2015, 46 (7), pp.1147-1160. ⟨10.1080/00207721.2013.827257⟩
Article dans une revue
hal-02479669v1
|
|||
A Model-Based and Resource-Aware Testing Framework for Parking System Payment using Blockchain2020 International Wireless Communications and Mobile Computing (IWCMC), Jun 2020, Limassol, France. pp.1252-1259, ⟨10.1109/IWCMC48107.2020.9148212⟩
Communication dans un congrès
hal-03027784v1
|
|||
HapiFabric: A Teleconsultation Framework Based on Hyperledger FabricEuropean, Mediterranean, and Middle Eastern Conference on Information Systems, Nov 2020, Dubai, United Arab Emirates. pp.399-414, ⟨10.1007/978-3-030-63396-7_27⟩
Communication dans un congrès
hal-03027684v1
|
|||
Text Retrieval Based on Dyadic Conceptual Projection25th International Workshop on Database and Expert Systems Applications (DEXA), 2014, Sep 2014, X, France. pp.198 - 202
Communication dans un congrès
hal-01126572v1
|
|||
Relevant Timed Schedules / Clock Valuations for Constructing Time Petri Net Reachability GraphsFORMATS'08, 6th International Conference on Formal Modeling and Analysis of Timed Systems, Saint-Malo, France, Jan 2008, X, France. pp.265-279
Communication dans un congrès
hal-01125623v1
|
|||
Towards a Temporal Logic Tau LTL for the Verification of Rewriting Theories Denoting ECATNets1st Int'l Workshop on Automated Technology for Verification and Analysis (ATVA'03), Taiwan,, Jan 2003, X, France
Communication dans un congrès
hal-01125035v1
|
|||
Compact Supervisory Control of Discrete Event Systems by Petri Nets With Data Inhibitor ArcsIEEE Transactions on Systems, Man, and Cybernetics: Systems, 2017, 47 (2), pp.364-379. ⟨10.1109/TSMC.2016.2521833⟩
Article dans une revue
hal-02476553v1
|
|||
Evaluation de l'impact de la sporadicité du trafic sur les performances d'un serveur webActes de la Conférence SETIT, Tunisie, Jan 2003, X, France
Communication dans un congrès
hal-01124993v1
|
|||
On performance analysis of Web oriented systemsProc. of the 2nd ACS/IEEE Int'l. Conf. on Computers Systems and Applications,, Jan 2003, X, France. pp.59-66
Communication dans un congrès
hal-01124995v1
|
|||
Deadlock avoidance in FMS based on structural theory of Petri netsINRIA/IEEE Int. Conf. on Emerging Technologies and Factory Automation ETFA95, Jan 1995, X, France. pp.499 - 510
Communication dans un congrès
hal-01125438v1
|
|||
A Deadlock Prevention Method for a Class of FMSIEEE Int. Conf. on Systems, Man and Cybernetics 1995 SMC95, Jan 1995, X, France. pp.4119-4124
Communication dans un congrès
hal-01125439v1
|
|||
On Liveness in Extended non Self-Controlling Nets16th Int. Conf. on Application and Theory of Petri Nets, ICATPN 95, Jan 1995, X, France. pp.25-46
Communication dans un congrès
hal-01125441v1
|
|||
Vérification Paramétrée de la Cohérence des Processus WorkflowMSR'07, 6ème Colloque Francophone sur la Modélisation des Systèmes Réactifs, Lyon, France, Jan 2007, X, France. pp.255-268
Communication dans un congrès
hal-01125449v1
|
|||
Sur la vérification de la cohérence de processus workflow temporisésGEI'08, 8i?mes Journ?es Scientifiques des Jeunes Chercheurs en Génie Electrique et Informatique, Sousse, Tunisia, Jan 2008, X, France. pp.57-68
Communication dans un congrès
hal-01125455v1
|
|||
Dynamic Interaction of Information Systems - Weaving Architectural Connectors on Component Petri NetsICEIS'07, 9th Int. Conf. on Enterprise Information Systems, Funchal, Madeira Island, Portugal, Jan 2007, X, France. pp.152-158
Communication dans un congrès
hal-01125460v1
|
|||
Performance evaluation of a pessimistic global concurrency control algorithm for multidatabase systemsSymposium on discrete events and manufacturing systems, CESA'96 IMACS Multiconference, Lille, Jan 1996, X, France. pp.322-327
Communication dans un congrès
hal-01125478v1
|
|||
On compatibility analysis of inter organizational business processes10th International Workshop on Enterprise Organizational Modeling and Simulation (EOMAS 2014), Jun 2014, X, France. pp.171-186
Communication dans un congrès
hal-01126577v1
|
|||
Une Approche Basée K pour la Description de Services WebICAIIT2014 - Conf?rence internationale sur l'intelligence artificielle et les technologies de l?information, Mar 2014, X, France. pp.12-20
Communication dans un congrès
hal-01126590v1
|
|||
Robustness of deadlock control for a class of Petri nets with unreliable resourcesInformation sciences, Information Sciences, 2013, 235, pp.259-279
Article dans une revue
hal-01126292v1
|
|||
A Multi-Dimensional Architectural Approach to Behavior-Intensive Adaptive Pervasive ApplicationsISWPC'09, 4th Int. Symp. on Wireless Pervasive Computing, Melbourne, Australia, Jan 2009, X, France. pp.1-8
Communication dans un congrès
hal-01125683v1
|
|||
On Agile Service-oriented Business Processes: Activity-centric ECA-Architectural Foundation with Aspectual .NET EnvironmentWWS'09, 1er Workshop sur les Services Web dans les Systèmes d'Information, Algiers, Algeria, Jan 2009, X, France. pp.1-11
Communication dans un congrès
hal-01125693v1
|
|||
Workflow Modeling and Analysis using Petri NetsICICS'09, 7th International Conference on Information, Communications and Signal Processing, Macau, 8-10 December, 2009, Jan 2009, X, France. pp.25-33
Communication dans un congrès
hal-01125807v1
|
|||
State Space Reduction Strategie for Model Checking Concurrent C Programs9th Workshop on Verification and Evaluation of Computer and Communication Systems (VECoS'15), 2015, Bucharest, Romania. pp.65-76
Communication dans un congrès
hal-01242951v1
|
|||
Towards an efficient structural control policy for automated manufacturing systemsEDA'97, Bangkok, Tailand, Jan 1997, X, France. pp.751-752
Communication dans un congrès
hal-01125472v1
|
|||
|
|
M/M/1 Retrial Queue with Collisions and Transmission ErrorsMethodology and Computing in Applied Probability, 2019, 21 (4), pp.1395-1406. ⟨10.1007/s11009-018-9680-x⟩
Article dans une revue
hal-02475784v1
|
||
|
|
An unreliable single server retrial queue with collisions and transmission errorsCommunications in Statistics - Theory and Methods, 2020, ⟨10.1080/03610926.2020.1758943⟩
Article dans une revue
hal-02585949v1
|
||
Reliability Analysis of Non Repairable Systems Using Stochastic Petri Nets18th Conference on Fault Tolerant in Computer Science FTC'88, Jan 1988, X, France. pp.90-95, ⟨10.1109/FTCS.1988.5302⟩
Communication dans un congrès
hal-01125444v1
|