Search Results - (automation OR automatizace) 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

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

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

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

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

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

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

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

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)

Database Programming Technology Based on Computer Software Engineering.

Authors: Gong, Weiwei

Source: Journal of Physics: Conference Series; Jan2022, Vol. 2165/2173/3 Issue 1/1/1/1, p1-6, 6p

Language and Automata Theory and Applications : 10th International Conference, LATA 2016, Prague, Czech Republic, March 14-18, 2016, Proceedings

Authors: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide et al.

Resource Type: eBook.

Subjects: Artificial intelligence, Computer science, Machine theory, Algorithms, Computer science—Mathematics, Discrete mathematics

Categories: COMPUTERS / Artificial Intelligence / General, COMPUTERS / Computer Science, COMPUTERS / Programming / Algorithms, MATHEMATICS / Algebra / General, MATHEMATICS / Discrete Mathematics

Computer Aided Verification : 32nd International Conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020, Proceedings, Part I

Authors: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Subjects: Computer software--Verification--Congresses

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

Software Vulnerability Analysis and Discovery Using Machine-Learning and Data-Mining Techniques: A Survey.

Authors: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

Source: ACM Computing Surveys; Jul2018, Vol. 50 Issue 4, p56:1-56:36, 36p, 1 Diagram, 5 Charts, 1 Graph

Subject Terms: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

From Datalog Rules to Efficient Programs with Time and Space Guarantees.

Authors: LIU, YANHONG A. STOLLER, SCOTT D.

Source: ACM Transactions on Programming Languages & Systems; Aug2009, Vol. 31 Issue 6, p21-21:38, 38p, 2 Diagrams, 7 Charts, 3 Graphs

Subject Terms: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity