Výsledky vyhledávání - Automatic Programming—Program transformation General Terms security

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

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

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

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

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

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

The current state of art in program obfuscations: definitions of obfuscation security.

Autoři: Varnovskiy, N. Zakharov, V. Kuzyurin, N. a další

Zdroj: Programming & Computer Software; Nov2015, Vol. 41 Issue 6, p361-372, 12p

Témata: COMPUTER software, COMPUTER security, COMPUTER programming, CRYPTOGRAPHY, ALGORITHMS

Mining world knowledge for analysis of search engine content.

Autoři: King, John D. Yuefeng Li Xiaohui Tao a další

Zdroj: Web Intelligence & Agent Systems; Sep2007, Vol. 5 Issue 3, p233-253, 21p, 1 Black and White Photograph, 7 Diagrams, 13 Charts, 2 Graphs

Témata: TAXONOMY, SEARCH engines, DATA mining, DATABASE searching, CLASSIFICATION

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

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

Function call interception techniques.

Autoři: Kang, Pilsung

Zdroj: Software: Practice & Experience; Mar2018, Vol. 48 Issue 3, p385-401, 17p

Témata: COMPUTER software, COMPUTER programming, COMPUTER software development, COMPUTER science, COMPUTER security

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

Literature survey of deep learning‐based vulnerability analysis on source code.

Autoři: Semasaba, Abubakar Omari Abdallah Zheng, Wei Wu, Xiaoxue a další

Zdroj: IET Software (Wiley-Blackwell); Dec2020, Vol. 14 Issue 6, p654-664, 11p

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

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