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

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

The quantum monadology.

Authors: Sati, Hisham Schreiber, Urs

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

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

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

Abstract Efficient Trust Management Policy Analysis from Rules ∗

Contributors: The Pennsylvania State University CiteSeerX Archives

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

Subject Terms: 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

File Description: application/pdf

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

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

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

Core role-based access control: Efficient implementations by transformations

Authors: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

Contributors: Yanhong A. Liu Chen Wang Michael Gorbovitski et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

Authors: Katia Hristova Tom Rothamel Yanhong A. Liu et al.

Contributors: Katia Hristova Tom Rothamel Yanhong A. Liu et al.

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

Subject Terms: 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

File Description: application/pdf

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

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

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

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

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

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

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

Authors: Swapan Basu

Resource Type: eBook.

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

Authors: Jingshan Wu Yujie Wang Hanbing Kong et al.

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

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

Authors: Kumar, Khanapuram Uday Hajra, Sugato Mohana Rani, Gokana et al.

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

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

Fifty Years of Prolog and Beyond.

Authors: KÖRNER, PHILIPP LEUSCHEL, MICHAEL BARBOSA, JOÃO et al.

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

Subject Terms: LOGIC programming, PROGRAMMING languages, SWOT analysis, LEARNING

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

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