咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 17 篇 期刊文献

馆藏范围

  • 53 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 36 篇 工学
    • 31 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 6 篇 信息与通信工程
    • 3 篇 安全科学与工程
    • 2 篇 机械工程
    • 2 篇 电气工程
    • 2 篇 控制科学与工程
    • 1 篇 动力工程及工程热...
    • 1 篇 电子科学与技术(可...
    • 1 篇 土木工程
    • 1 篇 轻工技术与工程
    • 1 篇 船舶与海洋工程
    • 1 篇 生物工程
  • 18 篇 理学
    • 11 篇 数学
    • 7 篇 系统科学
    • 2 篇 物理学
    • 1 篇 海洋科学
    • 1 篇 生物学
  • 7 篇 管理学
    • 4 篇 图书情报与档案管...
    • 3 篇 管理科学与工程(可...
    • 2 篇 工商管理
  • 2 篇 教育学
    • 2 篇 教育学

主题

  • 4 篇 computer science
  • 3 篇 software enginee...
  • 3 篇 unified modeling...
  • 3 篇 formal specifica...
  • 2 篇 compilers
  • 2 篇 access control
  • 2 篇 object oriented ...
  • 2 篇 application soft...
  • 2 篇 java
  • 2 篇 computer languag...
  • 2 篇 constraint satis...
  • 2 篇 students
  • 2 篇 cryptographic pr...
  • 2 篇 artificial intel...
  • 2 篇 applicative (log...
  • 1 篇 many valued logi...
  • 1 篇 adaptive systems
  • 1 篇 reliability
  • 1 篇 exceptions
  • 1 篇 planets

机构

  • 3 篇 institute of sof...
  • 3 篇 institute for so...
  • 2 篇 department of co...
  • 2 篇 programming lang...
  • 2 篇 department of co...
  • 2 篇 university of ok...
  • 2 篇 department of co...
  • 1 篇 institute of art...
  • 1 篇 university of he...
  • 1 篇 complex cyber in...
  • 1 篇 university of he...
  • 1 篇 heinz nixdorf in...
  • 1 篇 department of so...
  • 1 篇 department of co...
  • 1 篇 center for digit...
  • 1 篇 dept. of signal ...
  • 1 篇 institute of sof...
  • 1 篇 programming lang...
  • 1 篇 department of co...
  • 1 篇 department of ma...

作者

  • 4 篇 choe km
  • 4 篇 raschke alexande...
  • 3 篇 scholz sven-bodo
  • 3 篇 zsók viktória
  • 3 篇 chris mcdonald
  • 3 篇 grelck clemens
  • 3 篇 tichy matthias
  • 3 篇 felderer michael
  • 2 篇 mertin gunda
  • 2 篇 page rex
  • 2 篇 horváth zoltán
  • 2 篇 hofstedt petra
  • 2 篇 pekaric irdin
  • 2 篇 liu ke
  • 2 篇 reif wolfgang
  • 2 篇 kamran kazemi
  • 2 篇 nina moebius
  • 2 篇 läufer konstanti...
  • 2 篇 wolfgang reif
  • 2 篇 ghica dan

语言

  • 50 篇 英文
  • 3 篇 其他
检索条件"机构=Department of Computer Science and Programming Languages"
53 条 记 录,以下是11-20 订阅
排序:
A Systematic Review on Security and Safety of Self-Adaptive Systems
SSRN
收藏 引用
SSRN 2022年
作者: Pekaric, Irdin Groner, Raffaela Witte, Thomas Adigun, Jubril Gbolahan Raschke, Alexander Felderer, Michael Tichy, Matthias University of Innsbruck Department of Computer Science Technikerstraße 21a InnsbruckA-6020 Austria Ulm University Institute of Software Engineering and Programming Languages James-Franck-Ring 9 Ulm89081 Germany
Context: Cyber-physical systems (CPS) are increasingly self-adaptive, i.e. they have the ability to introspect and change their behavior. This self-adaptation process must be considered when modeling the safety and se... 详细信息
来源: 评论
The Regularization of Small Sub-Constraint Satisfaction Problems  22nd
The Regularization of Small Sub-Constraint Satisfaction Prob...
收藏 引用
22nd International Conference on Applications of Declarative programming and Knowledge Management, INAP 2019, the 33rd Workshop on Logic programming, WLP 2019, and the 27th Workshop on Functional and Constraint Logic programming, WFLP 2019
作者: Löffler, Sven Liu, Ke Hofstedt, Petra Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Brandenburg University of Technology Cottbus-Senftenberg Konrad-Wachsmann-Allee 5 Cottbus03044 Germany
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is ... 详细信息
来源: 评论
SusTrainable: Promoting Sustainability as a Fundamental Driver in Software Development Training and Education Teacher Training November 1–5, Nijmegen, The Netherlands Revised lecture notes
arXiv
收藏 引用
arXiv 2022年
作者: Koopman, Pieter Lubbers, Mart Fernandes, João Paulo Korečko, Štefan Paquete, Luís Porkoláb, Zoltán Szalay, Richárd Mauša, Goran Oprescu, Ana Koedijk, Lukas van Oostveen, Sander Kok, Stephan Li, Jianhao Zsók, Viktória Grbac, Tihana Galinac Grbac, Neven Valkanov, Vladimir Petrov, Mihail Radboud University Nijmegen Netherlands University of Porto Portugal Department of Computers and Informatics Faculty of Electrical Engineering and Informatics Technical University of Košice Slovakia CISUC Department of Informatics Engineering University of Coimbra Portugal Department of Programming Languages and Compilers Institute of Computer Science Faculty of Informatics Eötvös Lorád University Budapest Hungary University of Rijeka Faculty of Engineering Vukovarska 58 Rijeka51000 Croatia Complex Cyber Infrastructure University of Amsterdam Netherlands KPMG Software Engineering Master University of Amsterdam Netherlands Informatics Institute University of Amsterdam Netherlands Juraj Dobrila Univeristy of Pula Zagrebačka 30 PulaHR-52100 Croatia University Of Plovdiv "Paisii Hilendarski" Faculty of Mathematics and Informatics 24 Bulgaria Blvd. Plovdiv4027 Bulgaria
These are the proceedings of the first teacher training of the Erasmus+ project No. 2020-1-PT01-KA203-078646 -- Sustrainable. The full title of this project is Promoting Sustainability as a Fundamental Driver in Softw... 详细信息
来源: 评论
Phase Shifter for Millimeter-Wave Frequency Range Based on Glide Symmetric Structures
Phase Shifter for Millimeter-Wave Frequency Range Based on G...
收藏 引用
European Conference on Antennas and Propagation
作者: Angel Palomares-Caballero Antonio Alex-Amor Juan Valenzuela-Valdes Francisco Luna Pablo Padilla Department of Computer Science and Programming Languages University of Malaga Malaga Spain Dept. of Signal Theory University of Granada-CITIC Granada Spain
The use of glide symmetry in radiofrequency devices to introduce dispersive effects has been recently proposed and demonstrated. One of these effects is to control the propagation constant of the structure. Here, we p... 详细信息
来源: 评论
On the Ultra-Dense Small Cell Deployment for 5G Networks  1
On the Ultra-Dense Small Cell Deployment for 5G Networks
收藏 引用
1st IEEE 5G World Forum, 5GWF 2018
作者: Valenzuela-Valdés, Juan Fco Palomares, Ángel González-Macías, Juan C. Valenzuela-Valdés, Antonio Padilla, Pablo Luna-Valero, F. Department of Signal Theory Telematics and Communications - CITIC University of Granada Granada18071 Spain Department of Computer Science and Programming Languages University of Malaga Malaga29071 Spain
The paradigm shift that has to take place in the new 5G networks in order to meet the expected data rates is a huge technological challenge. The use of super dense heterogeneous networks is one of the most promising a... 详细信息
来源: 评论
The regularization of small sub-constraint satisfaction problems
arXiv
收藏 引用
arXiv 2019年
作者: Löffler, Sven Liu, Ke Hofstedt, Petra Brandenburg University of Technology Cottbus-Senftenberg Germany Department of Mathematics and Computer Science MINT Programming Languages and Compiler Construction Group Konrad-Wachsmann-Allee 5 Cottbus03044 Germany
This paper describes a new approach on optimization of constraint satisfaction problems (CSPs) by means of substituting sub-CSPs with locally consistent regular membership constraints. The purpose of this approach is ... 详细信息
来源: 评论
A proposal of an example and experiments repository to foster industrial adoption of formal methods  8th
A proposal of an example and experiments repository to foste...
收藏 引用
8th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2018
作者: Schlick, Rupert Felderer, Michael Majzik, Istvan Nardone, Roberto Raschke, Alexander Snook, Colin Vittorini, Valeria Center for Digital Safety and Security AIT Austrian Institute of Technology GmbH Vienna Austria Department of Computer Science University of Innsbruck Innsbruck Austria Department of Software Engineering Blekinge Institute of Technology Karlskrona Sweden Department of Measurement and Information Systems Budapest University of Technology and Economics Budapest Hungary University of Naples Federico II Naples Italy Institute of Software Engineering and Programming Languages Ulm University Ulm Germany Electronics and Computer Science University of Southampton Southampton United Kingdom
Formal methods (in a broad sense) have been around almost since the beginning of computer science. Nonetheless, there is a perception in the formal methods community that take-up by industry is low considering the pot... 详细信息
来源: 评论
Normalisation by evaluation for dependent types  1
Normalisation by evaluation for dependent types
收藏 引用
1st International Conference on Formal Structures for Computation and Deduction, FSCD 2016
作者: Altenkirch, Thorsten Kaposi, Ambrus School for Computer Science University of Nottingham Nottingham United Kingdom Department of Programming Languages and Compilers Eötvös Loránd University Budapest Hungary
We develop normalisation by evaluation (NBE) for dependent types based on presheaf categories. Our construction is formulated using internal type theory using quotient inductive types. We use a typed presentation henc... 详细信息
来源: 评论
A self-adaptive evolutionary approach to the evolution of aesthetic maps for a RTS game
A self-adaptive evolutionary approach to the evolution of ae...
收藏 引用
Congress on Evolutionary Computation
作者: Raul Lara-Cabrera Carlos Cotta Antonio J. Fernändez-Leiva Department of Computer Science and Programming Languages University of Málaga Spain
Procedural content generation (PCG) is a research field on the rise, with numerous papers devoted to this topic. This paper presents a PCG method based on a self-adaptive evolution strategy for the automatic generatio... 详细信息
来源: 评论
Security goals assurance based on software active monitoring
Security goals assurance based on software active monitoring
收藏 引用
International Conference on Secure Software Integration and Reliability Improvement
作者: Zhao, Changzhi Dong, Wei Leucker, Martin Qi, Zhichang Department of Computer Science National University of Defense Technology Changsha 410073 China Institute of Software Technology and Programming Languages University of Lubeck Germany
Access control is a vital security mechanism in today's operating systems and the security policies dictating the security relevant behaviors is lengthy and complex for example in Security-Enhanced Linux (SELinux)... 详细信息
来源: 评论