Suchergebnisse - Programming Environments—Integrated Environments. General Terms Reliability

Using assertions to help end-user programmers create dependable web macros

Autoren: Andhy Koesn Sebastian Elbaum Gregg Rothermel et al.

Weitere Verfasser: Andhy Koesn Sebastian Elbaum Gregg Rothermel et al.

Quelle: http://cse.unl.edu/~kstolee/robofox.pdf.

Schlagwörter: Categories and Subject Descriptors D.2.4 [Software Engineering, Software/Program Verification— Assertion checkers, D.2.6 [Software Engineering, Programming Environments—Integrated Environments. General Terms Reliability, Performance, Experimentation. Keywords Web macros, end user software engineering, programming by demon- stration, dependability, assertions

Dateibeschreibung: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.567.6382; http://cse.unl.edu/~kstolee/robofox.pdf

Verfügbarkeit: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.567.6382
http://cse.unl.edu/~kstolee/robofox.pdf

Assessing agritourism-integrated rural human settlement environment under the "dual-carbon" goal: evidence from Zhejiang, China.

Autoren: Lin, Shuaijun Zhang, Hongfeng Lam, Johnny F. I.

Quelle: Journal of Asian Architecture & Building Engineering; Nov2025, Vol. 24 Issue 6, p5981-6003, 23p

Schlagwörter: AGRITOURISM, RURAL development, ARTIFICIAL neural networks, PROVINCES, ENVIRONMENTAL impact analysis, ANALYTIC hierarchy process, HUMAN settlements, CLIMATE change mitigation

Geografische Kategorien: ZHEJIANG Sheng (China), CHINA

JORAS: joint offloading and resource auto-scaling in edge computing environment.

Autoren: Ghahari-Bidgoli, Milad Arani, Mostafa Ghobaei Sharif, Ahmad

Quelle: Cluster Computing; Dec2025, Vol. 28 Issue 16, p1-39, 39p

Schlagwörter: EDGE computing, RESOURCE management, SELF-organizing systems, SCALABILITY, INTERNET of things, METAHEURISTIC algorithms, LOAD balancing (Computer networks), QUALITY of service

The Study on the Chinese Environmental Audit Tool (C-EAT) for Long-Term Care Facilities.

Autoren: Lian, Fei Huang, Yanan Fleming, Richard

Quelle: Health Environments Research & Design Journal (HERD) (Sage Publications, Ltd.); Jan2025, Vol. 18 Issue 1, p21-40, 20p

Schlagwörter: TREATMENT of dementia, SCALE analysis (Psychology), LANGUAGE & languages, RESEARCH funding, FOCUS groups, MENTAL health, LONG-term health care, CULTURE, TRANSLATIONS, DESCRIPTIVE statistics, EXPERIMENTAL design, RESEARCH methodology, HEALTH facilities, DEMENTIA, QUALITY assurance, SOCIAL support, WELL-being, DEMENTIA patients

Geografische Kategorien: CHINA

Unveiling the power of R: a comprehensive perspective for laboratory medicine data analysis.

Autoren: Ma, Chaochao Qiu, Ling

Quelle: Clinical Chemistry & Laboratory Medicine; Jul2025, Vol. 63 Issue 8, p1458-1471, 14p

Schlagwörter: DATA analysis, BIG data, PROGRAMMING languages, PREDICTION models, CHATGPT, DATA visualization, CLINICAL pathology, MATHEMATICAL statistics

A Deep Learning Autoregressive Forecasting Model for Probabilistic Water Pipe Break Prediction.

Autoren: Behrooz, Hojat Ilbeigi, Mohammad

Quelle: Journal of Computing in Civil Engineering; Jul2025, Vol. 39 Issue 4, p1-12, 12p

Schlagwörter: LONG short-term memory, RECURRENT neural networks, WATER pipelines, AUTOREGRESSIVE models, MACHINE learning, DEEP learning

Artificial intelligence for secure and sustainable industrial control systems - A Survey of challenges and solutions.

Autoren: Aslam, Muhammad Muzamil Tufail, Ali Gul, Haji et al.

Quelle: Artificial Intelligence Review; Nov2025, Vol. 58 Issue 11, p1-86, 86p

Enhancing Project Completion Date Prediction Using a Hybrid Model: Rule-Based Algorithm and Machine Learning Algorithm.

Autoren: Abd Rahman, Mohd Shahrizan Akmal Jamaludin, Nor Azliana Zainol, Zuraini et al.

Quelle: International Journal on Advanced Science, Engineering & Information Technology; 2025, Vol. 15 Issue 4, p1047-1058, 12p

Schlagwörter: MACHINE learning, BIG data, TREND analysis, PREDICTION models, SCHEDULING, DEADLINES, PETROLEUM industry, RULE-based programming

Geografische Kategorien: MALAYSIA

The Emergence of Multi-Functional and Hybrid Reconfigurable Intelligent Surfaces for Integrated Sensing and Communications - A Survey.

Autoren: Tishchenko, Anton Khalily, Mohsen Shojaeifard, Arman et al.

Quelle: IEEE Communications Surveys & Tutorials; Oct2025, Vol. 27 Issue 5, p2895-2936, 42p

Enhancing DevOps Practices in the IoT–Edge–Cloud Continuum: Architecture, Integration, and Software Orchestration Demonstrated in the COGNIFOG Framework.

Autoren: Petrakis, Kostas Agorogiannis, Evangelos Antonopoulos, Grigorios et al.

Quelle: Software (2674-113X); Jun2025, Vol. 4 Issue 2, p10-N.PAG, 29p

Schlagwörter: SMART cities, EDGE computing, MACHINE learning, SCALABILITY, INTERNET of things

Thermodynamic Optimization of Building HVAC Systems Through Dynamic Modeling and Advanced Machine Learning.

Autoren: Moveh, Samuel Merchán-Cruz, Emmanuel Alejandro Ibrahim, Ahmed Osman et al.

Quelle: Sustainability (2071-1050); Mar2025, Vol. 17 Issue 5, p1955, 28p

Evaluation of hybrid learning model in an EFL context in higher education: A sample from Türkiye.

Alternate Title: Yükseköğretimde İngilizcenin yabancı dil olarak öğretilmesi bağlamında hibrit öğrenme modelinin değerlendirilmesi: Türkiye'den bir örnek. (Turkish)

Autoren: YİĞİTOĞLU, Orhan CEYLAN, Begüm ALCI, Bülent

Quelle: Yildiz Journal of Educational Research; Dec2024, Vol. 9 Issue 2, p65-78, 14p

Schlagwörter: BLENDED learning, COVID-19 pandemic, SCHOOL environment, SCHOOL year, CLASSROOM environment

Sales and operations planning for delivery date setting in engineer-to-order manufacturing: a research synthesis and framework.

Autoren: Bhalla, Swapnil Alfnes, Erlend Hvolby, Hans-Henrik et al.

Quelle: International Journal of Production Research; Nov2023, Vol. 61 Issue 21, p7302-7332, 31p, 4 Diagrams, 7 Charts, 3 Graphs

Schlagwörter: SCHEDULING, PRODUCTION planning, MASS production, SUPPLY chains

ENHANCING SCALABLE USER EXPERIENCE IN SMART HOME SYSTEMS WITH UBIQUITOUS VIRTUAL REALITY INTERFACES.

Autoren: MAHADEV, NATESH V. L., SOWMYA R., SHANKAR et al.

Quelle: Scalable Computing: Practice & Experience; Sep2025, Vol. 26 Issue 5, p1985-2001, 17p

Schlagwörter: SMART homes, CONGREGATE housing, SEMANTIC Web, USER interfaces, VIRTUAL reality, MIXED reality

A Perspective on Software-in-the-Loop and Hardware-in-the-Loop Within Digital Twin Frameworks for Automotive Lighting Systems.

Autoren: Balan, George Neninger, Philipp Ruiz Zúñiga, Enrique et al.

Quelle: Applied Sciences (2076-3417); Aug2025, Vol. 15 Issue 15, p8445, 29p

Schlagwörter: DIGITAL twin, AUTOMOBILE lighting, MODEL validation, QUALITY assurance, SIMULATION software, REGULATORY compliance

CAD Model Reconstruction by Generative Design of an iQFoil Olympic Class Foiling Windsurfing Wing.

Autoren: Cirello, Antonino Ingrassia, Tommaso Mancuso, Antonio et al.

Quelle: Journal of Marine Science & Engineering; Sep2025, Vol. 13 Issue 9, p1698, 13p

Schlagwörter: THREE-dimensional modeling, GENERATIVE artificial intelligence, GEOMETRIC surfaces, CURVED surfaces, COMPUTER performance, THREE-dimensional imaging

Examining the effectiveness of discussion-oriented flipped learning environments.

Autoren: Yilmaz, Erdi Okan Simsek, Nurettin

Quelle: International Journal of Assessment Tools in Education; 2022 Special Issue, Vol. 9, p146-161, 16p

Schlagwörter: FLIPPED classrooms, CLASSROOM environment, ACADEMIC achievement, DIGITAL technology, ARTIFICIAL intelligence

Pre-Service Teachers' Perspectives on Play-Based Learning: Motivations and Opportunities.

Autoren: Saddaramil, Ruhina J. Sahak, Marjaina A. Abidin, Alexine C. et al.

Quelle: Psychology & Education: A Multidisciplinary Journal; 2025, Vol. 32 Issue 2, p173-195, 23p

Schlagwörter: CAREER development, PLAY-based learning, STUDENT teachers, GRADE levels, TEACHER educators

The Role of STEM Teaching in Education: An Empirical Study to Enhance Creativity and Computational Thinking.

Autoren: Suherman, Suherman Vidákovich, Tibor Mujib, Mujib et al.

Quelle: Journal of Intelligence; Jul2025, Vol. 13 Issue 7, p88, 24p

Schlagwörter: STEM education, CREATIVE ability, GROUP work in education, INTERDISCIPLINARY education, EMPIRICAL research, PROBLEM solving, SECONDARY schools, TEACHING methods

Geografische Kategorien: INDONESIA

Innovative Approaches for Independently Cultivating Outstanding Engineers: A Multi-Case Study on the Interdisciplinary Construction of Integrated Circuit Science and Engineering in China.

Autoren: ZHANG, Wei XU, Peiyun LIN, Yongchun

Quelle: Frontiers of Education in China; Jun2025, Vol. 20 Issue 2, p230-247, 18p

Schlagwörter: INTERDISCIPLINARY education, INTEGRATED circuits, ENGINEERING education, SYSTEMS engineering

Geografische Kategorien: CHINA