Výsledky vyhledávání - (automatizace OR automation) programming—program transformation general terms security

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

Autoři: Porra, Jaana Hirschheim, Rudy Land, Frank a další

Zdroj: 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.

Autoři: DE ANGELIS, EMANUELE FIORAVANTI, FABIO GALLAGHER, JOHN P. a další

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

Témata: CONSTRAINT programming, LOGIC programming, PROGRAMMING languages, SYSTEMS software, PROGRAM transformation

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

Autoři: Verma, Vikas Jain, Manish

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

Témata: ENERGY conservation, SOFTWARE-defined networking, ENERGY consumption, NETWORK performance, TRAFFIC flow

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

Autoři: Yvars, Pierre-Alain Zimmer, Laurent

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

Témata: 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).

Autoři: Congiu, Eleonora Quaquero, Emanuela Rubiu, Giulia a další

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

Témata: 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.

Autoři: Verma, Vikas Jain, Manish

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

Témata: 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.

Autoři: Hà, Vo Thu Thuong, Than Thi Thanh, Nguyen Thi a další

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

Témata: MOBILE robots, FUZZY neural networks, ROBOT dynamics, FUZZY logic, ANGULAR velocity, TRACKING algorithms

Mitigating Program Security Vulnerabilities: Approaches and Challenges.

Autoři: Shahriar, Hossain Zulkernine, Mohammad

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

Témata: 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

Autoři: Bernd Finkbeiner Laura Kovács

Resource Type: eBook.

Témata: 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

Autoři: Bharat Bhushan Sudhir Kumar Sharma Raghvendra Kumar a další

Resource Type: eBook.

Témata: 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.

Autoři: Bergner, Nadine Köster, Hilde Magenheim, Johannes a další

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

Témata: 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.

Autoři: Erümit, Semra Fiş Keleş, Esra

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

Témata: COMPUTER science, COMPUTER science education, EDUCATION, SCIENTIFIC computing, DATA analysis, SCHOOL enrollment

Geografický termín: PACIFIC Area

Korporace: PROGRAMME for International Student Assessment

Equivalent Transformations of Heterogeneous Meta-Programs.

Autoři: Štuikys, Vytautas Damaševičius, Robertas

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

Témata: MATHEMATICAL transformations, COMPUTER software, MATHEMATICAL programming, SET theory, GENERALIZATION, MATHEMATICAL analysis

Cyber Technologies and Emerging Sciences

Autoři: Sudhanshu Maurya Sateesh K. Peddoju Badlishah Ahmad a další

Resource Type: eBook.

Témata: 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.

Autoři: Gong, Weiwei

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

Autoři: Adrian-Horia Dediu Jan Janoušek Carlos Martín-Vide a další

Resource Type: eBook.

Témata: 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

Autoři: Shuvendu K. Lahiri Chao Wang

Resource Type: eBook.

Témata: 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.

Autoři: GHAFFARIAN, SEYED MOHAMMAD SHAHRIARI, HAMID REZA

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

Témata: COMPUTER software safety measures, MACHINE learning, ARTIFICIAL intelligence, DATA mining, DATABASE searching

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

Autoři: LIU, YANHONG A. STOLLER, SCOTT D.

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

Témata: DATA structures, INDEXING, PROGRAM transformation, RECURSION theory, ALGORITHMS, COMPUTATIONAL complexity