Searching - TalTech Research Portal

display

sort

151

book article EST / book article ENG

A software product line approach for semantic specification of block libraries in dataflow languagesDieumegard, Arnaud; Toom, Andres; Pantel, MarcSPLC '14: 18th International Software Product Line Conference, Florence Italy, September 15-19, 2014. Volume 12014 / p. 217-226 : ill https://doi.org/10.1145/2648511.2648534 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

152

book article

Special track on Intelligent Systems for Digital Era (ISDE)SAC '24: Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing2024 / p. 652–703 https://doi.org/10.1145/3605098

book article

153

book article EST / book article ENG

Special track on Intelligent Systems for Digital Era (ISDE)SAC '25: Proceedings of the 40th ACM/SIGAPP Symposium on Applied Computing2025 / p. 864-915 https://dl.acm.org/doi/proceedings/10.1145/3672608

book article EST / book article ENG

154

book article

Special track on Intelligent Systems for Digital Era (ISDE) : editorial messageRobal, Tarmo; Liiv, Innar; Kalibatiene, Diana; Matulevičius, RaimundasSAC '24 : Proceedings of the 39th ACM/SIGAPP Symposium on Applied Computing, Avila, Spain, April 8-12, 20242024 / p. 652-653 https://dl.acm.org/action/showFmPdf?doi=10.1145%2F3605098 Article at Scopus

book article

155

journal article EST / journal article ENG

SSProve : a foundational framework for modular cryptographic proofs in CoqHaselwarter, Philipp G.; Rivas, Exequiel; Van Muylder, Antoine; Winterhalter, Théo; Abate, Carmine; Sidorenco, Nikolaj; Hriţcu, Cǎtǎlin; Maillard, Kenji; Spitters, BasACM Transactions on Programming Languages and Systems2023 / art. 15 https://doi.org/10.1145/3594735 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

156

book article

Stationary vs. non-stationary mobile learning in MOOCsZhao, Yue; Robal, Tarmo; Lofi, Christoph; Hauff, ClaudiaUMAP '18 : Adjunct Publication of the 26th Conference on User Modeling, Adaptation and Personalization, Singapore, July 08-11, 2018 : proceedings2018 / p. 299-303 https://doi.org/10.1145/3213586.3225241

book article

157

journal article EST / journal article ENG

String diagram rewrite theory I : rewriting with Frobenius structureBonchi, Filippo; Gadducci, Fabio; Kissinger, Aleks; Sobocinski, Pawel Maria; Zanasi, FabioJournal of the ACM2022 / art. 14 https://doi.org/10.1145/3502719 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

158

book article EST / book article ENG

Structuring analyses of complex enterprise datasets with adaptive morphogenesis methodsPolis, EinarECBS '17: Proceedings of the Fifth European Conference on the Engineering of Computer-Based Systems2017 / art. a5, 10 p. : ill https://doi.org/10.1145/3123779.3123808 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

159

journal article EST / journal article ENG

Survey on architectural attacks : a unified classification and attack modelGhasempouri, Tara; Raik, Jaan; Reinbrecht, Cezar; Hamdioui, Said; Hamdioui, SaidACM Computing Surveys2023 / art. 42 https://doi.org/10.1145/3604803 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

160

book article

Synthesis of test purpose directed reactive planning tester for nondeterministic systemsVain, Jüri; Raiend, Kullo; Kull, Andres; Ernits, Juhan-Peep22nd IEEE/ACM International Conference on Automated Software Engineering (ASE 2007) : November 5-9, 2007, Atlanta, Georgia, USA2007 / p. 363-372 https://www.researchgate.net/publication/220883693_Synthesis_of_test_purpose_directed_reactive_planning_tester_for_nondeterministic_systems

book article

161

book article

Synthesising schedules to improve QoS of best-effort traffic in TSN networksHoutan, Bahar; Ashjaei, Mohammad; Daneshtalab, Masoud; Sjödin, Mikael; Mubeen, SaadRTNS'2021 : 29th International Conference on Real-Time Networks and Systems2021 / p. 68-77 https://doi.org/10.1145/3453417.3453423

book article

162

journal article EST / journal article ENG

A systematic literature review on hardware reliability assessment methods for deep neural networksAhmadilivani, Mohammad Hasan; Taheri, Mahdi; Raik, Jaan; Daneshtalab, Masoud; Jenihhin, MaksimACM Computing Surveys2024 / art. 141, 39 p. : ill https://doi.org/10.1145/3638242 Journal metrics at Scopus Article at Scopus Journal metrics at WOS Article at WOS

journal article EST / journal article ENG

Related publications 2

163

book article

System-level data format exploration for dynamically allocated data structuresEllervee, Peeter; Miranda, Miguel; Catthoor, Francky; Hemani, Ahmed37th Design Automation Conference : Los Angeles, CA, June 5-9, 2000 : proceedings2000 / p. 556-559 : ill https://ieeexplore.ieee.org/document/855373

book article

164

book article

Teleoperation of the industrial robot : augmented reality applicationChung, Xue Er Shamaine; Qiao, Yuansong; Kuts, Vladimir; Henry, John; McNevin, Ken; Murray, NiallMMSys '22: Proceedings of the 13th ACM Multimedia Systems Conference2022 / p. 299–303 https://doi.org/10.1145/3524273.3532901

book article

165

book article

Term search in RustAnnus, Tavo; Joram, PhilippTyDe 2024: Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development2024 / p. 62-73 https://doi.org/10.1145/3678000.3678210 Article at Scopus

book article

166

book article EST / book article ENG

The role of demographics in citiesSoe, Ralf-Martindg.o 2017 : the proceedings of the 18th Annual International Conference on Digital Government Research : Innovations and Transformations in Government : June 7-9, 2017, Staten Island, NY, USA2017 / p. 446-451 : ill https://doi.org/10.1145/3085228.3085274 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

167

book article EST / book article ENG

Theory and practice of linked open statistical dataTambouris, Efthimios; Kalampokis, Evangelos; Janssen, Marijn; Matheus, Ricardo; Hermans, Paul; Kalvet, Tarmodg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / Article No. 130, 2 p https://doi.org/10.1145/3209281.3209341 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

168

book article

Time semantics of executable activity diagrams for relativized conformance testingIqbal, Junaid; Truscan, Dragos; Vain, JüriMODELS '20: Proceedings of the 23rd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings2020 / p. 251-256 https://doi.org/10.1145/3417990.3421399

book article

169

journal article

Time-Sensitive Networking in automotive embedded systems : state of the art and research opportunitiesAshjaei, Mohammad; Bello, Lucia Lo; Daneshtalab, Masoud; Patti, Gaetano; Saponara, Sergio; Mubeen, SaadJournal of Systems Architecture : the EUROMICRO Journal2021 https://doi.org/10.1016/j.sysarc.2021.102137

journal article

170

book article EST / book article ENG

Towards a networked modern democracy: thoughts on how ICT could enable new forms for the relationship between citizens and their representativesFischer, Dirk-Hinnerk; Krimmer, Robert Johannesdg.o 18 : Proceedings of the 19th Annual International Conference on Digital Government Research : Governance in the Data Age : Delft, Netherlands, May 30-June 01, 20182018 / art. 52, 8 p. : ill https://doi.org/10.1145/3209281.3209284 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

171

book article EST / book article ENG

Towards a smart sustainable city roadmapPereira, Gabriela Viale; Estevez, Elsa; Krimmer, Robert; Janssen, Marijn; Janowski, TomaszProceedings of the 20th Annual International Conference on Digital Government Research : Governance in the Age of Artificial Intelligence, 2019, Dubai 18 June- 20 June 20192019 / p. 527- 528 https://doi.org/10.1145/3325112.3325274 Conference proceeding at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

172

book article

Towards information-theoretic visualization evaluation measure: a practical example for Bertin's matricesLiiv, InnarProceedings of the ACM CHI (ACM Conference on Human Factors in Computing Systems) 2010 Conference : April 10-11, 2010, Atlanta, GA, US2010 https://dl.acm.org/doi/10.1145/2110192.2110196

book article

173

book article EST / book article ENG

Understanding MPSoCs : exploiting memory microarchitectural vulnerabilities of high performance NoC-based MPSoCsSepulveda, Johanna; Azad, Siavoosh Payandeh; Niazmand, Behrad; Jervan, GertSAMOS '18 : Proceedings of the 18th International Conference on Embedded Computer Systems: Architectures, Modeling, and Simulation, Pythagorion, Greece, July 15-19, 20182018 / p. 162-166 https://doi.org/10.1145/3229631.3239367 Conference proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

174

book article EST / book article ENG

The use of AI in public services : results from a preliminary mapping across the EUMisuraca, Gianluca; Noordt, Colin Pascal van; Boukli, AnysProceedings of the 13th International Conference on Theory and Practice of Electronic Governance : ICEGOV 2020, 23-25 September, 2020 : Online Conference2020 / p. 90-99 https://doi.org/10.1145/3428502.3428513 Conference Proceedings at Scopus Article at Scopus

book article EST / book article ENG

175

book article EST / book article ENG

Using blockchain for optimal and transparent resource allocation : a proposed solution for fund allocation : brief overviewVoicu-Dorobantu, Roxana; Udokwu, Chibuzor; Bocse, BogdanICEEG '21: Proceedings of the 5th International Conference on E-Commerce, E-Business and E-Government2021 / p. 35-38 https://doi.org/10.1145/3466029.3466056 Conference Proceedings at Scopus Article at Scopus Article at WOS

book article EST / book article ENG

ACM (publisher)

types of item