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

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

The quantum monadology.

Autoři: Sati, Hisham Schreiber, Urs

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

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

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

Abstract Efficient Trust Management Policy Analysis from Rules ∗

Přispěvatelé: The Pennsylvania State University CiteSeerX Archives

Zdroj: http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf.

Témata: lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms security, algorithms, languages, performance Keywords access control, policy analysis, security, algorithm, time

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016; http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.121.9016
http://www.cs.sunysb.edu/~katia/HriTekLiu07.pdf

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

Core role-based access control: Efficient implementations by transformations

Autoři: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

Přispěvatelé: Yanhong A. Liu Chen Wang Michael Gorbovitski a další

Zdroj: http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf.

Témata: Systems, Security and Protection—access controls, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation General Terms Design, Languages, Performance, Security Keywords access control, complexity guarantees, incrementalization, optimization

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.151.341
http://ftp.cs.sunysb.edu/pub/liu/ImplCRBAC-PEPM06.pdf

Efficient type inference for secure information flow

Autoři: Katia Hristova Tom Rothamel Yanhong A. Liu a další

Přispěvatelé: Katia Hristova Tom Rothamel Yanhong A. Liu a další

Zdroj: http://rothamel.us/papers/hristova-plas06.pdf.

Témata: Categories and Subject Descriptors D.4.6 [Operating Systems, Security and Protection—information flow controls, D.4.6 [Oper- ating Systems, Security and Protection—access controls, D.3.4 [Programming Languages, Language Classifications—constraint and logic languages, D.3 [Programming Languages, Processors— code generation, optimization, E.1 [Data, Data Structures— arrays, lists, queues, records, F.2 [Analysis of Algorithms and Problems Complexity, Nonnumerical Algorithms and Problems— computations on discrete structures, I.2.2 [Artificial Intelligence, Automatic Programming—Program transformation, E.2 [Data, Data Storage Representations—linked representations General Terms security, algorithms, languages, performance Keywords information flow, type inference, security, algorithm, time

Popis souboru: application/pdf

Relation: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.5580

Dostupnost: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.571.5580
http://rothamel.us/papers/hristova-plas06.pdf

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

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

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

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

Plant Intelligent Automation and Digital Transformation : Volume I: Process and Factory Automation

Autoři: Swapan Basu

Resource Type: eBook.

Témata: Factories--Technological innovations, Automation, Automatic control--Industrial applications

Categories: TECHNOLOGY & ENGINEERING / Power Resources / Electrical

How to Cultivate Computational Thinking-Enabled Engineers: A Case Study on the Robotics Class of Zhejiang University.

Autoři: Jingshan Wu Yujie Wang Hanbing Kong a další

Zdroj: Proceedings of the ASEE Annual Conference & Exposition; 2019, p13310-13324, 15p

Revolutionizing waste-to-energy: harnessing the power of triboelectric nanogenerators.

Autoři: Kumar, Khanapuram Uday Hajra, Sugato Mohana Rani, Gokana a další

Zdroj: Advanced Composites & Hybrid Materials; Jun2024, Vol. 7 Issue 3, p1-42, 42p

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

Fifty Years of Prolog and Beyond.

Autoři: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO a další

Zdroj: Theory & Practice of Logic Programming; Nov2022, Vol. 22 Issue 6, p776-858, 83p

Témata: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

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

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