咨询与建议

限定检索结果

文献类型

  • 197 篇 会议
  • 64 篇 期刊文献
  • 5 册 图书

馆藏范围

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

日期分布

学科分类号

  • 178 篇 工学
    • 149 篇 计算机科学与技术...
    • 119 篇 软件工程
    • 20 篇 信息与通信工程
    • 18 篇 控制科学与工程
    • 13 篇 安全科学与工程
    • 12 篇 电气工程
    • 9 篇 仪器科学与技术
    • 9 篇 生物医学工程(可授...
    • 8 篇 电子科学与技术(可...
    • 8 篇 土木工程
    • 7 篇 船舶与海洋工程
    • 7 篇 网络空间安全
    • 6 篇 机械工程
    • 5 篇 建筑学
    • 4 篇 化学工程与技术
    • 4 篇 交通运输工程
    • 4 篇 生物工程
  • 61 篇 理学
    • 39 篇 数学
    • 10 篇 统计学(可授理学、...
    • 9 篇 系统科学
    • 7 篇 海洋科学
    • 4 篇 化学
    • 4 篇 生物学
  • 42 篇 管理学
    • 26 篇 管理科学与工程(可...
    • 18 篇 图书情报与档案管...
    • 7 篇 工商管理
  • 6 篇 法学
    • 5 篇 社会学
  • 6 篇 医学
    • 5 篇 基础医学(可授医学...
    • 5 篇 临床医学
  • 5 篇 教育学
    • 5 篇 教育学
  • 1 篇 经济学

主题

  • 26 篇 software enginee...
  • 14 篇 testing
  • 10 篇 application soft...
  • 10 篇 java
  • 10 篇 semantics
  • 10 篇 unified modeling...
  • 9 篇 runtime
  • 9 篇 software
  • 8 篇 model checking
  • 7 篇 monitoring
  • 6 篇 tools
  • 6 篇 programming
  • 6 篇 artificial intel...
  • 5 篇 object oriented ...
  • 5 篇 specifications
  • 5 篇 software testing
  • 5 篇 software design
  • 5 篇 web services
  • 4 篇 computer science
  • 4 篇 software systems

机构

  • 15 篇 institute for so...
  • 14 篇 institute of sof...
  • 13 篇 institute for so...
  • 7 篇 institute of sof...
  • 5 篇 institute for so...
  • 5 篇 department of pr...
  • 5 篇 ulm university i...
  • 3 篇 department of so...
  • 3 篇 department of so...
  • 3 篇 institute of dis...
  • 3 篇 graduate school ...
  • 3 篇 ulm university i...
  • 3 篇 institute for so...
  • 3 篇 chair of program...
  • 3 篇 department of co...
  • 3 篇 université paris...
  • 3 篇 ivannikov instit...
  • 3 篇 department of sy...
  • 3 篇 software enginee...
  • 3 篇 max planck insti...

作者

  • 28 篇 margaria tiziana
  • 27 篇 steffen bernhard
  • 26 篇 leucker martin
  • 24 篇 tichy matthias
  • 13 篇 tiziana margaria
  • 11 篇 bernhard steffen
  • 10 篇 matthias tichy
  • 10 篇 raschke alexande...
  • 9 篇 schaefer ina
  • 8 篇 yevtushenko nina
  • 7 篇 lamprecht anna-l...
  • 7 篇 thoma daniel
  • 7 篇 pietron jakob
  • 7 篇 groner raffaela
  • 6 篇 schmitz malte
  • 6 篇 wolfgang reif
  • 6 篇 naujokat stefan
  • 5 篇 merten maik
  • 5 篇 christian kubcza...
  • 5 篇 sachenbacher mar...

语言

  • 260 篇 英文
  • 4 篇 德文
  • 2 篇 其他
检索条件"机构=Programming and Software Engineering"
266 条 记 录,以下是1-10 订阅
排序:
Academic Fraud Detection in Online Exams with DNN's Multilayer Model
Academic Fraud Detection in Online Exams with DNN's Multilay...
收藏 引用
International Symposium on Digital Forensic and Security (ISDFS)
作者: Bahaddin Erdem Murat Karabatak Department of Computer Programming Bitlis Eren University Bitlis Turkey Department of Software Engineering Firat University Elaziğ Turkey
This study aims to reveal the best deep learning models that are improved and optimized by predicting undesirable behavior patterns using a dataset consisting of artificial and real exam data of students taking online... 详细信息
来源: 评论
Research and Development of Kubernetes Operator for Machine Learning Pipelines
Research and Development of Kubernetes Operator for Machine ...
收藏 引用
International Russian Smart Industry Conference (SmartIndustryCon)
作者: Andrey Trapezin Ivan Filianin Faculty of Programming and Infocommunications ITMO University St. Petersburg Russia Faculty of Software Engineering and Computer Engineering ITMO University St. Petersburg Russia
The current research work addresses the problem of automating the delivery of machine learning models from MLflow to Kubernetes infrastructure. To solve the mentioned problem, a Kubernetes operator has been developed ... 详细信息
来源: 评论
Verifying Multiple Virtual Networks in software Defined Networks
Verifying Multiple Virtual Networks in Software Defined Netw...
收藏 引用
2021 IEEE East-West Design and Test Symposium, EWDTS 2021
作者: Burdonov, Igor Yevtushenko, Nina Kossachev, Alexandr Ivannikov Institute for System Programming of RAS Software Engineering Department Moscow Russia Ivannikov Institute for System Programming Software Engineering Deparment Moscow Russia
software Defined Network (SDN) technology is one of the modern network virtualization technologies. When implementing a virtual network on the SDN data plane, undesired effects may occur: the appearance of undesired p... 详细信息
来源: 评论
Practical Escape Analysis in an Open World
收藏 引用
电子学报(英文版) 2009年 第1期18卷 31-36页
作者: SHI Xiaohua JIN Maozhong WU Gansha LUEH Gueiyuan Software Engineering Institute Beihang University Beijing 100083 China Programming System Laboratory Microprocessor Technology Laboratory Intel Corporation China
A novel escape analysis framework that handles the Java open-world features is proposed and evaluated. The novel approach analyzes a Java program with an optimistic view that the program is in a closed world and appli... 详细信息
来源: 评论
Evaluation of Jif and Joana as information flow analyzers in a model-driven approach
Evaluation of Jif and Joana as information flow analyzers in...
收藏 引用
7th International Workshop on Data Privacy Management, DPM 2012 and 5th International Workshop on Autonomous and Spontaneous Security, SETOP 2012
作者: Katkalov, Kuzman Fischer, Peter Stenzel, Kurt Moebius, Nina Reif, Wolfgang Department of Software Engineering and Programming Languages University of Augsburg Germany
Checking for information leaks in real-world applications is a difficult task. IFlow is a model-driven approach which allows to develop information flow-secure applications using intuitive modeling guidelines. It supp... 详细信息
来源: 评论
Prediction and graph visualization of cyber attacks using graph attention networks
收藏 引用
Computers & Security 2025年 157卷
作者: Mucahit Soylu Resul Das Inonu University Department of Organized Industrial Zone Vocational School Computer Programming Malatya Turkiye Firat University Faculty of Technology Department of Software Engineering 23119 Elazig Turkiye
This study proposes a hybrid approach for visualizing cyberattacks by combining the deep learning-based GAT model with JavaScript-based graph visualization tools. The model processes large, heterogeneous data from the...
来源: 评论
Faster verification of partially ordered runs in Petri nets using compact tokenflows
Faster verification of partially ordered runs in Petri nets ...
收藏 引用
34th International Conference on Application and Theory of Petri Nets and Concurrency, PETRI NETS 2013
作者: Bergenthum, Robin Department of Software Engineering and Theory of Programming FernUniversität in Hagen Germany
In this paper we tackle the problem of verifying whether a labeled partial order (LPO) is executable in a Petri net. In contrast to sequentially ordered runs an LPO includes both, information about dependencies and in... 详细信息
来源: 评论
Guest editor's introduction
收藏 引用
International Journal on software Tools for Technology Transfer 2009年 第3期11卷 173-174页
作者: Hinchey, Mike Margaria, Tiziana Steffen, Bernhard Lero The Irish Software Engineering Research Centre Limerick Ireland Department of Service and Software Engineering University of Potsdam Potsdam Germany Department of Programming Systems TU Dortmund Dortmund Germany
来源: 评论
Formal specification of the semantics of control state diagrams  1
收藏 引用
6th International Conference on ABZ Conference on ASM, Alloy, B, TLA, VDM, and Z, ABZ 2018
作者: Leitz, Markus Raschke, Alexander Institute of Software Engineering and Programming Languages Ulm University Ulm Germany
Control State Diagrams (CSD) are a graphical representation of Control State Abstract State Machines, a subclass of Abstract State Machines (ASM). We extend the existing semi-formal specification of this diagram type ... 详细信息
来源: 评论
Efficient profile routing for electric vehicles
Efficient profile routing for electric vehicles
收藏 引用
1st International Conference on Internet of Vehicles, IOV 2014
作者: Schönfelder, René Leucker, Martin Walther, Sebastian Institute for Software Engineering and Programming Languages University of Lübeck Germany
This paper introduces a powerful, efficient and generic framework for optimal routing of electric vehicles in the setting of flexible edge cost functions and arbitrary initial states. More precisely, the introduced st... 详细信息
来源: 评论