Search results
From MaRDI portal
- Date of Publication Type Symbolic Termination and Confluence Checking for ECA Rules 2015-11-12 Paper...10 bytes (16 words) - 19:34, 26 December 2023
- Reuse 2019-07-04 Paper Symbolic Termination and Confluence Checking for ECA Rules 2015-11-12 Paper Tutorial on Structured Continuous-Time Markov Processes...10 bytes (16 words) - 17:09, 24 September 2023
- problems 2015-12-08 Paper Symbolic Termination and Confluence Checking for ECA Rules 2015-11-12 Paper An inexact Cayley transform method for inverse eigenvalue...10 bytes (17 words) - 00:22, 9 December 2023
- de/entity/Q4969199 2020-10-05 Paper Induction of classification rules by Gini-index based rule generation 2020-09-08 Paper Exploring the impact of wind loads...10 bytes (16 words) - 23:10, 9 December 2023
- of two elementary rules 2018-03-08 Paper https://portal.mardi4nfdi.de/entity/Q2965869 2017-03-03 Paper Two-Dimensional Traffic Rules and the Density Classification...10 bytes (17 words) - 09:05, 7 October 2023
- https://portal.mardi4nfdi.de/entity/Q5396370 2014-02-05 Paper Characterization of CA Rules for SACA Targeting Detection of Faulty Nodes in WSN 2010-10-04 Paper Exploring...10 bytes (16 words) - 06:35, 7 October 2023
- net; termination analysis; pervasive computing; ECA rules; fuzzy colored time Petri net; fuzzy ECA rules Mathematics Subject Classification ID 68Q85: Models...15 bytes (77 words) - 04:28, 3 February 2024
- de/link/service/series/0558/bibs/2313/23130486.htm zbMATH Keywords colored Petri net; ECA rules; active database Mathematics Subject Classification ID 68P15: Database...15 bytes (49 words) - 22:57, 7 February 2024
- Journal in Brave) zbMATH Keywords distributed systems; formal methods; ECA rules; edge computing; attribute-based communication; IoT programming Mathematics...15 bytes (49 words) - 17:15, 25 April 2024
- zbMATH Keywords Object-oriented database systems; Active database systems; ECA-rules Mathematics Subject Classification ID 68P15: Database theory Uses Software...15 bytes (55 words) - 17:00, 31 January 2024
- zbMATH Keywords distributed systems; formal methods; autonomic computing; ECA rules; attribute-based communication Mathematics Subject Classification ID 68Qxx:...15 bytes (60 words) - 23:28, 1 February 2024
- object-orientation; workflow management; reuse; meta-modeling; exception handling; ECA rules; web interface; workflow evolution; workflow recovery Mathematics Subject...15 bytes (82 words) - 12:21, 1 February 2024
- 1007/978-3-662-45730-6_6 zbMATH Keywords verification; confluence; termination; ECA rules Mathematics Subject Classification ID 68Q25: Analysis of algorithms and...15 bytes (83 words) - 21:14, 4 February 2024
- https://doi.org/10.1007/978-3-031-11321-5_5 zbMATH Keywords dynamic logic; ECA rules; database repair Mathematics Subject Classification ID 68P15: Database...15 bytes (84 words) - 23:01, 1 February 2024
- permutation; cellular automaton; neighborhood; semi-direct product; rule 110; ECA Mathematics Subject Classification ID 68Q80: Cellular automata (computational...15 bytes (39 words) - 07:23, 8 February 2024