Systems Correctness Practices at Amazon Web Services.

Authors: Brooker, Marc¹ (AUTHOR) marcbrooker@gmail.com, Desai, Ankush¹ (AUTHOR) ankush@eecs.berkeley.edu

Source: Communications of the ACM. Jun2025, Vol. 68 Issue 6, p38-42. 5p.

Subject Terms: *SOFTWARE reliability, *PROGRAMMING languages, *SIMULATION methods & models, *VIRTUAL machine systems, COMPUTER software correctness

Company/Entity: AMAZON Web Services Inc.

Elastic MapReduce for Scalable Image Processing in the Cloud

Authors: S Raj, Rakesh, M P, Pavan Kumar, K N, Manjunath, B E, Rangaswamy, N V, Shamna, N B, Pradeep

Source: 2025 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER) Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER), 2025 IEEE International Conference on. :43-48 Oct, 2025

Relation: 2025 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER)

DeRide: An Incentivized Peer-to-Peer Ride Sharing Service using Permissioned Blockchain Networks

Authors: Sharma, Shailesh Kumar, Chakraborty, Sandip, Palanisamy, Balaji, Sural, Shamik

Source: 2025 7th International Conference on Blockchain Computing and Applications (BCCA) Blockchain Computing and Applications (BCCA), 2025 7th International Conference on. :617-621 Oct, 2025

Relation: 2025 7th International Conference on Blockchain Computing and Applications (BCCA)

Real-Time Visual Navigation Framework for Edge-Level Systems Using Classical Vision Algorithms

Authors: Kaya, Baris, Tekelioglu, Melih Ilter, Sarioglu, Baykal

Source: 2025 International Conference on INnovations in Intelligent SysTems and Applications (INISTA) INnovations in Intelligent SysTems and Applications (INISTA), 2025 International Conference on. :1-6 Oct, 2025

Relation: 2025 International Conference on INnovations in Intelligent SysTems and Applications (INISTA)

Analysis of Inter-Cloud Migration Strategies to European Providers

Authors: Carausu, Ana-Madalina, Irimia, Cosmin, Iftene, Adrian

Source: 2025 International Conference on INnovations in Intelligent SysTems and Applications (INISTA) INnovations in Intelligent SysTems and Applications (INISTA), 2025 International Conference on. :1-6 Oct, 2025

Relation: 2025 International Conference on INnovations in Intelligent SysTems and Applications (INISTA)

Performance and Cost Analysis of AWS Burstable Instances for HPC with NAS Parallel Benchmarks

Authors: Soda, Artur Luiz Rizzato Toru, Filho, Vanderlei Munhoz Pereira, Castro, Marcio

Source: 2025 IEEE/SBC 37th International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW) SBAC-PADW Computer Architecture and High Performance Computing Workshops (SBAC-PADW), 2025 IEEE/SBC 37th International Symposium on. :84-91 Oct, 2025

Relation: 2025 IEEE/SBC 37th International Symposium on Computer Architecture and High Performance Computing Workshops (SBAC-PADW)

Achieve a Dynamic and Reliable Web Service using Network Load Balancer on Cloud Platforms

Authors: Kamath, B Sunil, B, Mukesh Kamath

Source: 2025 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER) Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER), 2025 IEEE International Conference on. :483-489 Oct, 2025

Relation: 2025 IEEE International Conference on Distributed Computing, VLSI, Electrical Circuits and Robotics (DISCOVER)

FIRETWIN: Digital Twin Advancing Multi-Modal Sensing, Interactive Analytics for Tactical Wildfire Response

Authors: Raha, Mayamin Hamid, Tavakkoli, Ali Reza, Webb, Chris, Habibpour, Mobin, Coen, Janice, Rowell, Eric, Afghah, Fatemeh

Source: 2025 IEEE 30th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD) Computer Aided Modeling and Design of Communication Links and Networks (CAMAD), 2025 IEEE 30th International Workshop on. :1-8 Oct, 2025

Relation: 2025 IEEE 30th International Workshop on Computer Aided Modeling and Design of Communication Links and Networks (CAMAD)

Personalized Hierarchical Topology-Aware Federated Learning: An Approach for QoS Prediction

Authors: Wu, CongRong, Qi, RuiDong, Zhou, Jian-tao

Source: 2025 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA) ISPA Parallel and Distributed Processing with Applications (ISPA), 2025 IEEE International Symposium on. :1400-1406 Oct, 2025

Relation: 2025 IEEE International Symposium on Parallel and Distributed Processing with Applications (ISPA)

LambdaGo: A Functional Extension of the Go Programming Language

Authors: Olteanu, Vlad, Oprisa, Ciprian

Source: 2025 29th International Conference on System Theory, Control and Computing (ICSTCC) System Theory, Control and Computing (ICSTCC), 2025 29th International Conference on. :55-60 Oct, 2025

Relation: 2025 29th International Conference on System Theory, Control and Computing (ICSTCC)

Geosense: a Platform for Automated Monitoring and Quality Assessment of Geospatial Web Services

Authors: Mosans, Guntis, Kampars, Janis, Immurs, Dkvis, Kadikis, Niklavs, Kosovojs, Edgars

Source: 2025 66th International Scientific Conference on Information Technology and Management Science of Riga Technical University (ITMS) Information Technology and Management Science of Riga Technical University (ITMS), 2025 66th International Scientific Conference on. :1-6 Oct, 2025

Relation: 2025 66th International Scientific Conference on Information Technology and Management Science of Riga Technical University (ITMS)

Revisiting put-that-there, context aware window interactions via LLMs

Authors: Bovo, Riccardo, Giunchi, Daniele, Cascarano, Pasquale, Gonzalez, Eric J., Gonzalez-Franco, Mar

Source: 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct) ISMAR-ADJUNCT Mixed and Augmented Reality Adjunct (ISMAR-Adjunct), 2025 IEEE International Symposium on. :512-517 Oct, 2025

Relation: 2025 IEEE International Symposium on Mixed and Augmented Reality Adjunct (ISMAR-Adjunct)

Secure Network Tunnel for Distributed Systems Founded on Cryptographic Message Syntax

Authors: Asratian, Ruben

Source: 2025 18th International Conference on Management of Large-Scale System Development (MLSD) Management of Large-Scale System Development (MLSD), 2025 18th International Conference on. :1-5 Sep, 2025

Relation: 2025 18th International Conference on Management of Large-Scale System Development (MLSD)

DBOS Network Sensing: A Web Services Approach to Collaborative Awareness

Authors: Lockton, Sophia, Kepner, Jeremy, Stonebraker, Michael, Jananthan, Hayden, Anderson, LaToya, Arcand, William, Bestor, David, Bergeron, William, Bonn, Alex, Burrill, Daniel, Byun, Chansup, Davis, Timothy, Gadepally, Vijay, Houle, Michael, Hubbell, Matthew, Jones, Michael, Luszczek, Piotr, Michaleas, Peter, Milechin, Lauren, Milner, Chasen, Morales, Guillermo, Mullen, Julie, Pelletier, Michel, Poliakov, Alex, Prout, Andrew, Reuther, Albert, Rosa, Antonio, Yee, Charles, Pentland, Alex

Source: 2025 IEEE High Performance Extreme Computing Conference (HPEC) High Performance Extreme Computing Conference (HPEC), 2025 IEEE. :1-8 Sep, 2025

Relation: 2025 IEEE High Performance Extreme Computing Conference (HPEC)

IoT Enable Real Time Framework for Benzene Monitoring and Analysis

Authors: Bagal, Shishir A., Choudhari, Nitin K., Chaudhari, A. R.

Source: 2025 International Conference on Modern Sustainable Systems (CMSS) Modern Sustainable Systems (CMSS), 2025 International Conference on. :825-834 Aug, 2025

Relation: 2025 International Conference on Modern Sustainable Systems (CMSS)

Optimizing Cloud Deployment with Boto3: A CI/CD Framework for Applications

Authors: Chauhan, Abhishek, Nayyer, Bhavna, Shrimal, Vijay Mohan

Source: 2025 Third International Conference on Networks, Multimedia and Information Technology (NMITCON) Networks, Multimedia and Information Technology (NMITCON), 2025 Third International Conference on. :1-6 Aug, 2025

Relation: 2025 Third International Conference on Networks, Multimedia and Information Technology (NMITCON)

The IoT Whisperer: A Framework for Intelligent IoT Service Composition Through LLMs

Authors: Warburton, Ewan, Elhabbash, Abdessalam, Ezzini, Saad, Elkhatib, Yehia

Source: 2025 IEEE 18th International Conference on Cloud Computing (CLOUD) CLOUD Cloud Computing (CLOUD), 2025 IEEE 18th International Conference on. :54-64 Jul, 2025

Relation: 2025 IEEE 18th International Conference on Cloud Computing (CLOUD)

A Security Model for Web-Based Communication.

Authors: Tehrani, Pouyan Fotouhi¹ (AUTHOR) pfl@acm.org, Osterweil, Eric² (AUTHOR) eoster@gmu.edu, Schmidt, Thomas C.³ (AUTHOR) t.schmidt@haw-hamburg.de, Wählisch, Matthias⁴ (AUTHOR) m.waehlisch@tu-dresden.de

Source: Communications of the ACM. Oct2024, Vol. 67 Issue 10, p83-90. 8p.

Subject Terms: *SECURITY systems, *WEB services, *CERTIFICATION, *INTERNET domain names, *PUBLIC key cryptography

Modeling and Analysis of Distribution Power System at UFLA Using OpenDSS

Authors: Costa Ferreira, Silvia, Chagas de Oliveira, Ronnielli, De Araujo, Alexandre, Luiz da Silva, Alexandre, Arriel Rezende, Marcelo, De Carvalho Pedroso, Joao Paulo, Paulo da Silva, Joaquim

Source: IEEE Latin America Transactions IEEE Latin Am. Trans. Latin America Transactions, IEEE (Revista IEEE America Latina). 23(12):1261-1270 Dec, 2025

Enhancing Vulnerability Prioritization in Cloud Computing Using Multi-View Representation Learning.

Authors: Ullman, Steven¹ (AUTHOR) steven.ullman@utsa.edu, Samtani, Sagar² (AUTHOR), Zhu, Hongyi¹ (AUTHOR), Lazarine, Ben² (AUTHOR), Chen, Hsinchun³ (AUTHOR), Nunamaker Jr., Jay F.³ (AUTHOR)

Source: Journal of Management Information Systems. 2024, Vol. 41 Issue 3, p708-743. 36p.

Subject Terms: *VIRTUAL machine systems, *WEB services, *BEHAVIORAL research, CLOUD computing, SECURITY personnel, DEEP learning