咨询与建议

限定检索结果

文献类型

  • 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 条 记 录,以下是21-30 订阅
排序:
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... 详细信息
来源: 评论
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
来源: 评论
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卷
作者: Page, Rex Horváth, Zoltán Zsók, Viktória University of Oklahoma School of Computer Science 110 West Boyd Street NormanOK73019 United States Eötvös Loránd University Faculty of Informatics Department of Programming Languages and Compilers Pázmány Péter sétány 1/C Budpest1117 Hungary
来源: 评论
Engineering self-coordinating software intensive systems
Engineering self-coordinating software intensive systems
收藏 引用
FSE/SDP Workshop on the Future of Software Engineering Research, FoSER 2010
作者: Schäfer, Wilhelm Birattari, Mauro Blömer, Johannes Dorigo, Marco Engels, Gregor O'Grady, Rehan Platzner, Marco Rammig, Franz Reif, Wolfgang Trächtler, Ansgar Heinz Nixdorf Institute University of Paderborn Fürstenallee 11 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Pohlweg 98 Paderborn Germany Heinz Nixdorf Institute University of Paderborn Warburger Str. 100 Paderborn Germany Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Department of Control Engineering and Mechatronics University of Paderborn Pohlweg 98 Paderborn Germany IRIDIA CoDE Université Libre de Bruxelles Ave. F. Roosevelt 50 1050 Brussels Belgium Department of Software Engineering and Programming Languages University of Augsburg Universitätsstr. 6a Augsburg Germany
It my great pleasure and honor to welcome you to FoSER 2010: The FSE/SDP Workshop on the Future of Software Engineering Research. This workshop was organized in collaboration with and made possible by generous support... 详细信息
来源: 评论
Generating formal specifications for security-critical applications - A model-driven approach
Generating formal specifications for security-critical appli...
收藏 引用
International Workshop on Software Engineering for Secure Systems (SESS)
作者: Nina Moebius Kurt Stenzel Wolfgang Reif Department of Software Engineering and Programming Languages Institute of Computer Science University of Augsburg Augsburg Germany
The SecureMDD approach aims to generate both, a formal specification for verification and executable code, from UML diagrams. The UML models define the static as well as dynamic components of the system under developm... 详细信息
来源: 评论
A hybrid shared memory execution model for a data parallel language with I/O
A hybrid shared memory execution model for a data parallel l...
收藏 引用
作者: Grelck, Clemens Kuthe, Steffen Scholz, Sven-Bodo Institute of Software Technology and Programming Languages University of Lübeck Ratzeburger Allee 160 23538 Lübeck Germany Department of Computer Science University of Hertfordshire College Lane Hatfield AL10 9AB United Kingdom
We propose a novel execution model for the implicitly parallel execution of data parallel programs in the presence of general I/O operations. This model is called hybrid because it combines the advantages of the stand... 详细信息
来源: 评论
A modeling framework for the development of provably secure E-commerce applications
A modeling framework for the development of provably secure ...
收藏 引用
2nd International Conference on Software Engineering Advances - ICSEA 2007
作者: Moebius, Nina Haneberg, Dominik Reif, Wolfgang Schellhorn, Gerhard Institute of Computer Science University Augsburg Department of Software Engineering and Programming Languages 86135 Augsburg Germany
Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology fo... 详细信息
来源: 评论
On optimising shape-generic array programs using symbolic structural information
收藏 引用
18th International Symposium on Implementation and Application of Functional languages, IFL 2006
作者: Trojahner, Kai Grelck, Clemens Scholz, Sven-Bodo University of Lübeck Institute of Software Technology and Programming Languages University of Hertfordshire Department of Computer Science
Shape-generic programming and high run time performance do match if generic source code is systematically specialised into nongeneric executable code. However, as soon as we drop the assumption of whole-world knowledg... 详细信息
来源: 评论
Many-valued logic, normal forms
Many-valued logic, normal forms
收藏 引用
10th Symposium on programming languages and Software Tools, SPLST 2007
作者: Varga, Katalin Pásztor Várterész, Magda Department of Programming Languages and Compilers Eötvös Loránd University Hungary Department of Computer Science University of Debrecen Hungary
Interpretation of the truth degrees. Suitable extension of the two-valued logical operations as conjunction, disjunction, implication, negation. Main directions (Post, Kleene, Lukasiewicz, Bochvar). Notion of assertab... 详细信息
来源: 评论
A Modeling Framework for the Development of Provably Secure E-Commerce Applications
A Modeling Framework for the Development of Provably Secure ...
收藏 引用
International Conference on Software Engineering Advances (ICSEA)
作者: Nina Moebius Dominik Haneberg Wolfgang Reif Gerhard Schellhorn Institute of Computer Science Department of Software Engineering and Programming Languages University of Augsburg Augsburg Germany
Developing security-critical applications is very difficult and the past has shown that many applications turned out to be erroneous after years of usage. For this reason it is desirable to have a sound methodology fo... 详细信息
来源: 评论