咨询与建议

限定检索结果

文献类型

  • 32 篇 会议
  • 8 篇 期刊文献
  • 3 册 图书

馆藏范围

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

日期分布

学科分类号

  • 31 篇 工学
    • 24 篇 计算机科学与技术...
    • 20 篇 软件工程
    • 6 篇 控制科学与工程
    • 6 篇 生物医学工程(可授...
    • 6 篇 生物工程
    • 5 篇 机械工程
    • 5 篇 信息与通信工程
    • 3 篇 光学工程
    • 2 篇 力学(可授工学、理...
    • 2 篇 材料科学与工程(可...
    • 2 篇 冶金工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 安全科学与工程
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 电气工程
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
    • 1 篇 交通运输工程
  • 17 篇 理学
    • 9 篇 数学
    • 7 篇 生物学
    • 4 篇 物理学
    • 2 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 地质学
  • 10 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 5 篇 图书情报与档案管...
    • 2 篇 工商管理
  • 2 篇 农学
  • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 医学

主题

  • 3 篇 artificial intel...
  • 2 篇 software enginee...
  • 2 篇 information tech...
  • 2 篇 data structures
  • 2 篇 management of co...
  • 2 篇 algebra
  • 2 篇 user interfaces ...
  • 1 篇 covid-19
  • 1 篇 software systems
  • 1 篇 conferences
  • 1 篇 three-dimensiona...
  • 1 篇 information syst...
  • 1 篇 theory of comput...
  • 1 篇 cultural heritag...
  • 1 篇 software enginee...
  • 1 篇 frequency modula...
  • 1 篇 programming
  • 1 篇 task analysis
  • 1 篇 signal resolutio...
  • 1 篇 automation

机构

  • 3 篇 dept. of informa...
  • 2 篇 tissue engineeri...
  • 2 篇 biomedical engin...
  • 2 篇 department of sy...
  • 2 篇 dept. computer a...
  • 2 篇 dept. safety com...
  • 2 篇 dept. of process...
  • 2 篇 department of pr...
  • 2 篇 dept. of informa...
  • 2 篇 sulaiman al-rajh...
  • 2 篇 dept. of metrolo...
  • 2 篇 department of co...
  • 2 篇 national institu...
  • 1 篇 celera genomics ...
  • 1 篇 school of comput...
  • 1 篇 sana'a community...
  • 1 篇 dept. kino and a...
  • 1 篇 lebs c.n.r.s. gi...
  • 1 篇 ss jain subodh a...
  • 1 篇 queen elizabeth ...

作者

  • 3 篇 jonsson bengt
  • 3 篇 steffen bernhard
  • 3 篇 howar falk
  • 2 篇 cassel sofia
  • 2 篇 börcsök j.
  • 2 篇 schwarz m.h.
  • 2 篇 marei mona k.
  • 2 篇 solouma nahed h.
  • 2 篇 baeten j.c.m.
  • 2 篇 kadah yasser m.
  • 2 篇 nassef tamer m.
  • 1 篇 j. garnier
  • 1 篇 j. h. lees
  • 1 篇 b. bhattacharyya
  • 1 篇 gouri jas
  • 1 篇 tanaka kazuaki
  • 1 篇 c. shutter
  • 1 篇 werner bonath
  • 1 篇 bhattacharya sum...
  • 1 篇 j. börcsök

语言

  • 42 篇 英文
  • 1 篇 日文
检索条件"机构=Programming Technology Dept"
43 条 记 录,以下是1-10 订阅
排序:
Revisiting Data-Information-Knowledge-Wisdom Hierarchy from a Logic Perspective  23
Revisiting Data-Information-Knowledge-Wisdom Hierarchy from ...
收藏 引用
23rd IEEE International Conference on High Performance Computing and Communications, 7th IEEE International Conference on Data Science and Systems, 19th IEEE International Conference on Smart City and 7th IEEE International Conference on Dependability in Sensor, Cloud and Big Data Systems and Applications, HPCC-DSS-SmartCity-DependSys 2021
作者: Nikitchenko, Mykola Taras Shevchenko National University of Kyiv Dept. of Theory and Technology of Programming Kyiv Ukraine
Among various approaches to explication of Data-Information-Knowledge-Wisdom Hierarchy (DIKW) we advocate a logic-oriented approach. It stems from analysis of the notion of wisdom which often is understood as the abil... 详细信息
来源: 评论
A succinct canonical register automaton model for data domains with binary relations
A succinct canonical register automaton model for data domai...
收藏 引用
10th International Symposium on Automated technology for Verification and Analysis, ATVA 2012
作者: Cassel, Sofia Jonsson, Bengt Howar, Falk Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Department of Programming Systems Technical University Dortmund Germany
We present a novel canonical automaton model for languages over infinite data domains, that is suitable for specifying the behavior of services, protocol components, interfaces, etc. The model is based on register aut... 详细信息
来源: 评论
Formal development of correct algorithms: An example based on Earley's recogniser
Formal development of correct algorithms: An example based o...
收藏 引用
1972 ACM Conference on Proving Assertions about Programs
作者: Jones, C.B. Programming Technology Dept Product Test Laboratory IBM Laboratories Ltd Hursley Park Winchester Hants United Kingdom
This paper contains the formal development of a correct algorithm from an implicit definition of the task to be performed. Each step of the development can be accompanied by a proof of its correctness. As well as ensu...
来源: 评论
Different aspects to be considered for safety related development
Different aspects to be considered for safety related develo...
收藏 引用
23rd International Congress on Condition Monitoring and Diagnostic Engineering Management, COMADEM 2010
作者: Schwarz, M.H. Börcsök, J. Dept. Computer Architecture and System Programming University of Kassel Germany Safety Computer Technology University of Kassel Germany
This paper presents the recent design and development aspects considered within a current project running at the department of computer architecture and system programming. The project "Safety WLAN architectures ... 详细信息
来源: 评论
Mirages: Behavioral intercession in a mirror-based architecture
Mirages: Behavioral intercession in a mirror-based architect...
收藏 引用
2007 ACM SIGPLAN International Conference on Object-Oriented programming, Systems, Languages and Applications, OOPSLA - 2007 Dynamic Languages Symposium, DLS
作者: Mostinckx, Stijn Van Cutsem, Tom Timbermont, Stijn Tanter, Éric Programming Technology Lab. Vrije Universiteit Brussel Belgium Computer Science Dept. DCC/CWR University of Chile Chile
Mirror-based systems are object-oriented reflective architectures built around a set of design principles that lead to reflective APIs which foster a high degree of reusability, loose coupling with base-level objects ... 详细信息
来源: 评论
A Tool for reliable model-based design for programming logic controllers
A Tool for reliable model-based design for programming logic...
收藏 引用
1st IFAC Workshop on Advances in Control and Automation Theory for Transportation Applications, ACATTA 2013
作者: Schwarz, M.H. Sheng, H. Chaaban, W. Börcsök, J. Dept. Safety Computer Technology University of Kassel Kassel Germany Dept. Computer Architecture and System Programming University of Kassel Kassel Germany
This paper presents an automated code generation and validation, verification approach to convert model based developments into IEC 61131-3 conform function blocks. IEC 61131-3 programming languages are supported by P... 详细信息
来源: 评论
Advanced tool for predictive diagnosis and maintenance using case-based reasoning and fuzzy logic
Advanced tool for predictive diagnosis and maintenance using...
收藏 引用
25th European Modeling and Simulation Symposium, EMSS 2013
作者: Christova, Nikolinka Atanassov, Atanas Dept. of Automation of Industry University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria Dept. of Programming and Computer System Application University of Chemical Technology and Metallurgy 1756 Sofia Bulgaria
The application of computational intelligence in condition-based maintenance and diagnosis plays a leading role in the technology development of intelligent manufacturing systems. Case-Based Reasoning (CBR) is mostly ... 详细信息
来源: 评论
Inferring semantic interfaces of data structures
Inferring semantic interfaces of data structures
收藏 引用
5th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation: Technologies for Mastering Change, ISoLA 2012
作者: Howar, Falk Isberner, Malte Steffen, Bernhard Bauer, Oliver Jonsson, Bengt Technical University Dortmund Department of Programming Systems Dortmund D-44227 Germany Dept. of Information Technology Uppsala University Sweden
In this paper, we show how to fully automatically infer semantic interfaces of data structures on the basis of systematic testing. Our semantic interfaces are a generalized form of Register Automata (RA), comprising p... 详细信息
来源: 评论
Learning extended finite state machines
收藏 引用
12th International Conference on Software Engineering and Formal Methods, SEFM 2014
作者: Cassel, Sofia Howar, Falk Jonsson, Bengt Steffen, Bernhard Dept. of Information Technology Uppsala University Sweden Carnegie Mellon University Moffet CA United States Department of Programming Systems Technical University Dortmund Germany
We present an active learning algorithm for inferring extended finite state machines (EFSM)s, combining data flow and control behavior. Key to our learning technique is a novel learning model based on so-called tree q... 详细信息
来源: 评论
Concept of an Optical Distance and Speed Sensor Using Novel Offsetless Spatial Frequency Filters in the Area of Functional Safety  32
Concept of an Optical Distance and Speed Sensor Using Novel ...
收藏 引用
32nd IEEE International Symposium on Industrial Electronics, ISIE 2023
作者: Wasinski, Frank Bonath, Werner Ricklefs, Ubbo Borcsok, Josef Schwarz, Michael Hahn, Eike University of Applied Sciences THM Dept. of Electrical Engineering and Information Technology Giessen Germany Institute for Computer Architecture and System Programming University of Kassel ICAS Kassel Germany
Optical speed sensors based on the spatial frequency filter method are a proven technology that offer high measurement accuracy over a wide speed range. Newly developed variants also enable measurements at very low sp... 详细信息
来源: 评论