Search Results - (automatizacia OR automation) programming—program transformation general terms security~

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

Source: Quantum Studies: Mathematics & Foundations; Oct2025, Vol. 12 Issue 3, p1-148, 148p

Seventy years of information systems development methodologies from early business computing to the Agile era: A two-part history. Part 1: From Pre to Early ISD methodology era: The emergence of ISD methodologies and their golden era (1880–1980).

Authors: Porra, Jaana Hirschheim, Rudy Land, Frank et al.

Source: Journal of Information Technology (Sage Publications Inc.); Dec2025, Vol. 40 Issue 4, p441-469, 29p

Subject Terms: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

Authors: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. et al.

Source: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p974-1042, 69p

Subject Terms: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2025, Vol. 154 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

Equivalent Transformations of Heterogeneous Meta-Programs.

Authors: Štuikys, Vytautas Damaševičius, Robertas

Source: Informatica; 2013, Vol. 24 Issue 2, p315-337, 23p

Subject Terms: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

DEPS: a model- and property-based language for system synthesis problems.

Authors: Yvars, Pierre-Alain Zimmer, Laurent

Source: Software & Systems Modeling; Aug2024, Vol. 23 Issue 4, p973-1002, 30p

Subject Terms: MODELING languages (Computer science), SYSTEMS design, CONSTRAINT programming, PROBLEM solving, STRUCTURAL models

Building Information Modeling and Geographic Information System: Integrated Framework in Support of Facility Management (FM).

Authors: Congiu, Eleonora Quaquero, Emanuela Rubiu, Giulia et al.

Source: Buildings (2075-5309); Mar2024, Vol. 14 Issue 3, p610, 31p

Subject Terms: BUILDING information modeling, GEOGRAPHIC information systems, FACILITY management, REAL estate management, INFORMATION sharing, CHILDREN'S hospitals, PUBLIC buildings, GATES

Energy-efficient Techniques in SDN: Software, Hardware, and Hybrid Approaches.

Authors: Verma, Vikas Jain, Manish

Source: Philippine Journal of Science; Feb2024, Vol. 153 Issue 1, p1-22, 22p

Subject Terms: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

Cyber Technologies and Emerging Sciences

Authors: Sudhanshu Maurya Sateesh K. Peddoju Badlishah Ahmad et al.

Resource Type: eBook.

Subjects: Telecommunication, Control engineering, Robotics, Automation, Computational intelligence, Artificial intelligence, Data structures (Computer science), Information theory, Computer networks—Security measures

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Database Administration & Management, COMPUTERS / Information Theory, COMPUTERS / Security / Network Security, TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Engineering (General)

5G and Beyond

Authors: Bharat Bhushan Sudhir Kumar Sharma Raghvendra Kumar et al.

Resource Type: eBook.

Subjects: 5G mobile communication systems

Categories: TECHNOLOGY & ENGINEERING / Telecommunications, COMPUTERS / Networking / General, COMPUTERS / Hardware / General, TECHNOLOGY & ENGINEERING / Electronics / Circuits / General

Research on Some Control Algorithms to Compensate for the Negative Effects of Model Uncertainty Parameters, External Interference, and Wheeled Slip for Mobile Robot.

Authors: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi et al.

Source: Actuators; Jan2024, Vol. 13 Issue 1, p31, 31p

Subject Terms: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Authors: Shahriar, Hossain Zulkernine, Mohammad

Source: ACM Computing Surveys; Jun2012, Vol. 44 Issue 3, p11-11:46, 46p, 6 Diagrams, 12 Charts

Subject Terms: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

Methodology for Building Information Modeling (BIM) Implementation in Structural Engineering Companies (SECs).

Authors: Muñoz-La Rivera, Felipe Vielma, Juan Carlos Herrera, Rodrigo F. et al.

Source: Advances in Civil Engineering; 2/21/2019, p1-16, 16p

Subject Terms: BUILDING information modeling, STRUCTURAL engineering, THREE-dimensional printing, CONSTRUCTION projects, STRUCTURAL design

Tools and Algorithms for the Construction and Analysis of Systems : 30th International Conference, TACAS 2024, Held As Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2024, Luxembourg City, Luxembourg, April 6–11, 2024, Proceedings, Part I

Authors: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Subjects: System design--Congresses, Computer software--Verification--Congresses, System analysis--Congresses

Categories: COMPUTERS / Computer Science, COMPUTERS / Networking / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General, COMPUTERS / Computer Simulation

From the Prototype to the Final Embedded System Using the Ocarina AADL Tool Suite.

Authors: Get, Jerome Hugues Get, Bechir Zalila Get, Laurent Pautet et al.

Source: ACM Transactions on Embedded Computing Systems; Jul2008, Vol. 7 Issue 4, p42-42:25, 25p, 5 Diagrams, 1 Chart

Subject Terms: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Logic-Based Program Synthesis and Transformation

Authors: Maribel Fernández

Resource Type: eBook.

Subjects: Computer science, Artificial intelligence, Software engineering, Machine theory, Computer engineering, Computer networks

Categories: COMPUTERS / Computer Science, COMPUTERS / Artificial Intelligence / General, COMPUTERS / Software Development & Engineering / General, COMPUTERS / Hardware / General

Plant Intelligent Automation and Digital Transformation Volume II : MIS and HW-SW Implementation

Authors: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

A Goal Dimensions of Computer Science Education at the Elementary and Primary Level.

Authors: Bergner, Nadine Köster, Hilde Magenheim, Johannes et al.

Source: Wissenschaftliche Untersuchungen zur Arbeit der Stiftung 'Haus der kleinen Forscher'; 2023, p41-235, 195p

Subject Terms: COMPUTER science education, ONLINE education, ELEMENTARY education, PARENT attitudes, COMPUTER literacy, SCIENCE education, PRIMARY education

Examining computer science education of Asia-Pacific countries successful in the PISA.

Authors: Erümit, Semra Fiş Keleş, Esra

Source: Journal of Educational Technology & Online Learning (JETOL); 2023, Vol. 6 Issue 1, p82-104, 23p

Subject Terms: COMPUTER science, COMPUTER science education, EDUCATION, SCIENTIFIC computing, DATA analysis, SCHOOL enrollment

Geographic Terms: PACIFIC Area

Company/Entity: PROGRAMME for International Student Assessment

Introduction.

Authors: Štuikys, Vytautas Damaševičius, Robertas

Source: Meta-Programming & Model-Driven Meta-Program Development; 2013, p3-15, 13p