Suchergebnisse - (automatizacia OR automation) programming—program transformation general terms security

The quantum monadology.

Autoren: Sati, Hisham Schreiber, Urs

Quelle: 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).

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

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

Schlagwörter: SYSTEMS development, BUSINESS informatics, INFORMATION storage & retrieval systems, NARRATION

Analysis and Transformation of Constrained Horn Clauses for Program Verification.

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

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

Schlagwörter: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Autoren: Verma, Vikas Jain, Manish

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

Schlagwörter: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

Equivalent Transformations of Heterogeneous Meta-Programs.

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

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

Schlagwörter: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

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

Autoren: Yvars, Pierre-Alain Zimmer, Laurent

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

Schlagwörter: 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).

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

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

Schlagwörter: 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.

Autoren: Verma, Vikas Jain, Manish

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

Schlagwörter: ENERGY conservation, ENERGY consumption, NETWORK performance, TRAFFIC flow, RESEARCH personnel

Cyber Technologies and Emerging Sciences

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

Resource Type: eBook.

Schlagworte: 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)

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

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

Resource Type: eBook.

Schlagworte: 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

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

Autoren: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Schlagworte: 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

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

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

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

Schlagwörter: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Autoren: Shahriar, Hossain Zulkernine, Mohammad

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

Schlagwörter: PROGRAMMING languages, COMPUTER security, COMPUTER programming, SOFTWARE engineering, COMPUTER software, COMPUTER science

Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems : Essays Dedicated to Manuel Hermenegildo on the Occasion of His 60th Birthday

Autoren: Pedro Lopez-Garcia John P. Gallagher Roberto Giacobazzi

Resource Type: eBook.

Schlagworte: Software engineering, Computer science

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

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

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

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

Schlagwörter: BUILDING information modeling, STRUCTURAL engineering, THREE-dimensional printing, CONSTRUCTION projects, STRUCTURAL design

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

Autoren: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Schlagworte: Computer software--Verification--Congresses

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

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

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

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

Schlagwörter: EMBEDDED computer systems, RAPID prototyping, AUTOMATION, PROGRAMMING languages, SYSTEMS on a chip

Logic-Based Program Synthesis and Transformation

Autoren: Maribel Fernández

Resource Type: eBook.

Schlagworte: 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

Autoren: Swapan Basu

Resource Type: eBook.

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

5G and Beyond

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

Resource Type: eBook.

Schlagworte: 5G mobile communication systems

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