咨询与建议

限定检索结果

文献类型

  • 36 篇 会议
  • 17 篇 期刊文献
  • 2 册 图书

馆藏范围

  • 55 篇 电子文献
  • 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 篇 教育学

主题

  • 5 篇 software enginee...
  • 4 篇 computer science
  • 3 篇 artificial intel...
  • 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 篇 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 篇 school of comput...
  • 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...

作者

  • 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

语言

  • 52 篇 英文
  • 3 篇 其他
检索条件"机构=Department of Computer Science and Programming Languages"
55 条 记 录,以下是41-50 订阅
排序:
GIDTS: a graphical programming environment for Prolog  99
GIDTS: a graphical programming environment for Prolog
收藏 引用
Proceedings of the 1999 ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
作者: Gabriella Kókai Jörg Nilson Christian Niss Department of Computer Science Programming Languages Friedrich-Alexander-University of Erlangen-Nürnberg Martensstr. 3 D-91058 Erlangen Germany
This paper puts forward the Graphical Interactive Diagnosing, Testing and Slicing System (GIDTS) which is a graphical programming environment for PROLOG programs. The IDTSpart of the system integrates Shapiro's In...
来源: 评论
Security Goals Assurance Based on Software Active Monitoring
Security Goals Assurance Based on Software Active Monitoring
收藏 引用
International Conference on Secure System Integration and Reliability Improvement, SSIRI
作者: Changzhi Zhao Wei Dong Martin Leucker Zhichang Qi Department of Computer Science National University of Defense Technology Changsha China Institute of Software Technology and Programming Languages University of Lübeck 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 (SELinu... 详细信息
来源: 评论
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... 详细信息
来源: 评论
A theory of core fudgets  98
A theory of core fudgets
收藏 引用
Proceedings of the third ACM SIGPLAN international conference on Functional programming
作者: Colin J. Taylor Languages and Programming Group Department of Computer Science University of Nottingham University Park Nottingham NG7 2RD England
The Fudgets system is a toolkit for developing graphical applications in the lazy functional programming language Haskell. In this paper we develop an operational semantics for a subset of this system, inspired by ide...
来源: 评论
Integration of weighted majority voting in machine learning algorithms to enhance pine tree crown mapping on UAV imagery
Integration of weighted majority voting in machine learning ...
收藏 引用
2024 Symposium on Beyond the Canopy: Technologies and Applications of Remote Sensing
作者: Hosingholizade, Ali Erfanifard, Yousef Alavipanah, Seyed Kazem Pirasteh, Saied Garcia Millan, Virginia Dept. of Remote Sensing and GIS Faculty of Geography University of Tehran Tehran Iran Institute of Artificial Intelligence School of Mechanical and Electrical Engineering Shaoxing University China Department of Geotechnics and Geomatics Saveetha School of Engineering Saveetha Institute of Medical and Technical Sciences Chennai602105 India Dept. of Computer Science and Programming Languages School of Computer Science and Enginering University of Málaga Málaga Spain
The shape and area of the crown of each tree are among the most influential parameters for identifying and controlling the processes of photosynthesis, respiration, transpiration and its management. In such a way that... 详细信息
来源: 评论
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... 详细信息
来源: 评论
WIP: An Engaging Undergraduate Intro to Model Checking in Software Engineering Using TLA+
arXiv
收藏 引用
arXiv 2024年
作者: Läufer, Konstantin Mertin, Gunda Thiruvathukal, George K. Software and Systems Laboratory Department of Computer Science Loyola University Chicago United States Institute for Software Engineering and Programming Languages University of Lübeck Germany
Background: In this Innovative Practice Work in Progress, we present our initial efforts to integrate formal methods, with a focus on model-checking specifications written in Temporal Logic of Actions (TLA+), into com... 详细信息
来源: 评论
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 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... 详细信息
来源: 评论
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics): Preface
Lecture Notes in Computer Science (including subseries Lectu...
收藏 引用
Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2011年 6546 LNCS卷 VI页
作者: Page, Rex Horváth, Zoltán Zsók, Viktória University of Oklahoma School of Computer Science 110 West Boyd Street Norman OK 73019 United States Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers Pazmany Peter setany 1/C 1117 Budpest Hungary
来源: 评论