Resultados de 1 a 10 de 746 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Mostrar Somente
- Recursos Online (665)
- Revistas revisadas por pares (115)
Refinado por:
Base de dados/Biblioteca:
ACM Digital Library
| Result Number | Material Type | Add to My Shelf Action | Record Details and Options |
|---|---|---|---|
| 1 |
Material Type: Artigo
|
|
Scheduling of Resource Allocation Systems with Timed Petri Nets: A SurveyHuang, Bo ; Zhou, Mengchu ; Lu, Xiaoyu Sean ; Abusorrah, AbdullahACM computing surveys, 2023-11, Vol.55 (11), p.1-27, Article 230 [Periódico revisado por pares]New York, NY: ACMTexto completo disponível |
| 2 |
Material Type: Artigo
|
|
A novel fluid-based modeling approach using extended Hybrid Petri nets for power consumption monitoring in wireless autonomous IoT devices, with energy harvesting capability and triple sleeping strategyOukas, Nourredine ; Boulif, Menouar ; Arab, KarimaWireless networks, 2024-04, Vol.30 (3), p.1869-1892 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 3 |
Material Type: Artigo
|
|
Probabilistic Complex Event Recognition: A SurveyAlevizos, Elias ; Skarlatidis, Anastasios ; Artikis, Alexander ; Paliouras, GeorgiosACM computing surveys, 2018-09, Vol.50 (5), p.1-31, Article 71 [Periódico revisado por pares]New York, NY, USA: ACMTexto completo disponível |
| 4 |
Material Type: Artigo
|
|
Construction of data transmission consistency verification model of Petri net based on fuzzy C-meansWang, Zuopeng ; Zhu, ZhenyingWireless networks, 2022-07, Vol.28 (5), p.2313-2322 [Periódico revisado por pares]New York: Springer USTexto completo disponível |
| 5 |
Material Type: Artigo
|
|
Analysis of Pattern Formation by Colored Petri Nets With Quantitative Regulation of Gene Expression LevelLiu, Fei ; Yamamoto, Ena ; Shirahama, Katsunobu ; Saitoh, Tsubasa ; Aoyama, Shuhei ; Harada, Yumiko ; Murakami, Ryutaro ; Matsuno, HiroshiIEEE/ACM transactions on computational biology and bioinformatics, 2022-01, Vol.19 (1), p.317-327 [Periódico revisado por pares]United States: IEEETexto completo disponível |
| 6 |
Material Type: Artigo
|
|
Extensional Petri netDong, Xiaoju ; Fu, Yuxi ; Varacca, DanieleFormal aspects of computing, 2019-02, Vol.31 (1), p.47-58 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
| 7 |
Material Type: Ata de Congresso
|
|
A distributed operational view of reversible prime event structuresMelgratti, Hernán ; Mezzina, Claudio Antares ; Pinna, G. Michele2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13Piscataway, NJ, USA: IEEE PressSem texto completo |
| 8 |
Material Type: Artigo
|
|
Formalising concurrent UML state machines using coloured Petri netsAndré, Étienne ; Benmoussa, Mohamed Mahdi ; Choppy, ChristineFormal aspects of computing, 2016-09, Vol.28 (5), p.805-845 [Periódico revisado por pares]London: Springer LondonTexto completo disponível |
| 9 |
Material Type: Artigo
|
|
Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila WingQian Gao ; Gilbert, David ; Heiner, Monika ; Fei Liu ; Maccagnola, Daniele ; Tree, DavidIEEE/ACM transactions on computational biology and bioinformatics, 2013-03, Vol.10 (2), p.337-351 [Periódico revisado por pares]United States: IEEETexto completo disponível |
| 10 |
Material Type: Ata de Congresso
|
|
Categories of netsBaez, John C. ; Genovese, Fabrizio ; Master, Jade ; Shulman, Michael2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 2021, p.1-13Piscataway, NJ, USA: IEEE PressSem texto completo |
Resultados de 1 a 10 de 746 para Busca Geral
Ordenado por:
Ordenado por:
RelevânciaOr hit Enter to replace sort method
- Relevância
- Data mais recente
- Data mais antiga
- Mais acessados
- Autor
- Título
Personalize Seus Resultados
Refine Search Results
Expandir Meus Resultados
Mostrar Somente
- Recursos Online (665)
- Revistas revisadas por pares (115)
Refinar Meus Resultados
Tipo de Recurso
- Anais de Congresso (623)
- Artigos (119)
- magazinearticle (4)
-
Mais opções
Assunto
- Petri Nets (396)
- Computer Science (318)
- Science & Technology (312)
- Technology (312)
- Computer Science, Theory & Methods (124)
- Computer Science, Software Engineering (119)
- Engineering (93)
- Engineering, Electrical & Electronic (84)
- Computer Science, Hardware & Architecture (73)
- Computational Modeling (69)
- Analytical Models (54)
- Petri Net (50)
- Computer Science, Information Systems (45)
- Computing Methodologies -- Modeling And Simulation (45)
- Software And Its Engineering (42)
- Computing Methodologies -- Modeling And Simulation -- Model Development And Analysis (40)
- Theory Of Computation (40)
- Computer Science, Interdisciplinary Applications (40)
- Hardware (38)
- General And Reference -- Cross-Computing Tools And Techniques -- Performance (37)
-
Mais opções
Data de Publicação
- Antes de1983 (22)
- 1983Até1992 (77)
- 1993Até2002 (163)
- 2003Até2013 (271)
- Após 2013 (218)
-
Mais opções
Base de Dados/Biblioteca
- ACM Digital Library Complete (746)
- IEEE Electronic Library (IEL) Conference Proceedings (260)
- EBSCOhost Computers and Applied Sciences Complete (114)
- Science Citation Index Expanded (Web of Science) (89)
- Gale Academic OneFile (29)
- Springer Journals (28)
- Electronic Journals Library (27)
- EBSCOhost Business Source Complete (19)
- IEEE Electronic Library (IEL) Journals (10)
- ANTE: Abstracts in New Technology & Engineering (9)
- Engineered Materials Abstracts (8)
- Springer Nature - Springer Journals All 2022 (8)
- Materials Business File (8)
- Materials Research Database (8)
- Aluminium Industry Abstracts (8)
- Aerospace Database (8)
- METADEX (8)
- ROAD: Directory of Open Access Scholarly Resources (7)
- Journals@Ovid Complete (7)
- DOAJ Directory of Open Access Journals (7)
-
Mais opções
Idioma
- Japonês (12)
- Francês (1)
-
Mais opções
Nome da Publicação
- Acm Transactions On Embedded Computing Systems (18)
- Formal Aspects Of Computing (17)
- Ieee/acm Transactions On Computational Biology And Bioinformatics (8)
- Wireless Networks (7)
- Acm Transactions On Modeling And Computer Simulation (6)
- Acm Computing Surveys (5)
- Acm Transactions On Computational Logic (5)
- Communications Of The Acm (4)
- Acm Transactions On Software Engineering And Methodology (4)
- Acm Transactions On Information Systems (4)
-
Mais opções
Página Inicial
RSS
Feed
Políticas
Fale Conosco-
Realização:
Logos de Redes Sociais: 