咨询与建议

限定检索结果

文献类型

  • 7 篇 会议
  • 5 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 3 篇 计算机科学与技术...
    • 3 篇 安全科学与工程
    • 2 篇 电子科学与技术(可...
    • 2 篇 信息与通信工程
    • 2 篇 土木工程
    • 2 篇 航空宇航科学与技...
    • 1 篇 船舶与海洋工程
  • 3 篇 理学
    • 1 篇 数学
    • 1 篇 海洋科学
    • 1 篇 系统科学
  • 1 篇 医学
    • 1 篇 基础医学(可授医学...
    • 1 篇 临床医学
  • 1 篇 管理学
    • 1 篇 管理科学与工程(可...
    • 1 篇 工商管理
    • 1 篇 图书情报与档案管...

主题

  • 2 篇 grid computing
  • 1 篇 on-board process...
  • 1 篇 quantum computin...
  • 1 篇 frame relay
  • 1 篇 application soft...
  • 1 篇 naval architectu...
  • 1 篇 quality attribut...
  • 1 篇 real time system...
  • 1 篇 software archite...
  • 1 篇 pervasive comput...
  • 1 篇 hazards
  • 1 篇 multiagent syste...
  • 1 篇 standards organi...
  • 1 篇 user centered de...
  • 1 篇 computational mo...
  • 1 篇 hybrid networks
  • 1 篇 design engineeri...
  • 1 篇 bisdn
  • 1 篇 standards develo...
  • 1 篇 mathematics

机构

  • 2 篇 software and sol...
  • 2 篇 an m.a. in mathe...
  • 2 篇 received his b.s...
  • 2 篇 solutions for re...
  • 2 篇 faculty of mathe...
  • 2 篇 high performance...
  • 1 篇 school of cognit...
  • 1 篇 department of ps...
  • 1 篇 neural basis of ...
  • 1 篇 school of mathem...
  • 1 篇 informatics univ...
  • 1 篇 sorbonne univers...
  • 1 篇 sapienza univers...
  • 1 篇 laboratory for c...
  • 1 篇 software enginee...
  • 1 篇 centre for neura...
  • 1 篇 department of ps...
  • 1 篇 institute of phy...
  • 1 篇 department of bi...
  • 1 篇 institute for ex...

作者

  • 2 篇 tichy matthias
  • 2 篇 steenken dominik
  • 2 篇 chitre dm
  • 2 篇 priesterjahn cla...
  • 1 篇 schölkopf bernha...
  • 1 篇 holmes edward c.
  • 1 篇 fraser christoph...
  • 1 篇 kuo-ming chao
  • 1 篇 c. cacciari
  • 1 篇 kingori patricia
  • 1 篇 cauchemez simon
  • 1 篇 mallmann daniel
  • 1 篇 nazaraf hussain ...
  • 1 篇 unwin h. juliett...
  • 1 篇 bala piotr
  • 1 篇 michael goedicke
  • 1 篇 dasgupta abhishe...
  • 1 篇 borcz m.
  • 1 篇 lukichev alexand...
  • 1 篇 kraemer moritz u...

语言

  • 10 篇 英文
  • 2 篇 其他
检索条件"机构=Research Group Specification and Modelling of Software Systems"
12 条 记 录,以下是1-10 订阅
排序:
Timed hazard analysis of self-healing systems
Timed hazard analysis of self-healing systems
收藏 引用
ESEC/FSE 2011 Workshop on Assurances for Self-Adaptive systems, ASAS 2011
作者: Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Software Engineering Group University of Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Germany Software Engineering Division Chalmers University of Technology University of Gothenburg Sweden
Self-healing can be used to reduce hazards in embedded real-time systems which are applied in safety-critical environments. These systems may react to failures by a structural reconfiguration of the architecture durin... 详细信息
来源: 评论
Model-driven development with mechatronic UML
收藏 引用
Lecture Notes in Computer Science
作者: Schäfer, Wilhelm Wehrheim, Heike Heinz Nixdorf Institute Software Engineering Group University of Paderborn Warburger Str. 100 Paderborn 33098 Germany Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn 33098 Germany
Today, mechanical engineering products can largely be classified as mechatronic systems, i.e. systems integrating electrical and mechanical components with software. Mechatronic systems are often employed in safety-cr... 详细信息
来源: 评论
Component-based timed hazard analysis of self-healing systems
Component-based timed hazard analysis of self-healing system...
收藏 引用
8th Workshop on Assurances for Self-Adaptive systems, ASAS'11
作者: Priesterjahn, Claudia Steenken, Dominik Tichy, Matthias Heinz Nixdorf Institute Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Research Group Specification and Modelling of Software Systems Department of Computer Science University of Paderborn Warburger Str. 100 Paderborn Germany Organic Computing University of Augsburg Universitätsstr. 6a Augsburg Germany
Today, self-healing is increasingly used in embedded real-time systems, that are applied in safety-critical environments, to reduce hazards. These systems implement self-healing by reconfiguration, i.e., the exchange ... 详细信息
来源: 评论
1st Workshop on VAriability for QUalIties in software Architecture (VAQUITA): Workshop Introduction  15
1st Workshop on VAriability for QUalIties in SofTware Archit...
收藏 引用
Proceedings of the 2015 European Conference on software Architecture Workshops
作者: Azadeh Alebrahim Stephan Faßbender Martin Filipczyk Michael Goedicke Maritta Heisel Uwe Zdun paluno - The Ruhr Institute for Software Technology Working group Software Engineering University of Duisburg-Essen Germany paluno - The Ruhr Institute for Software Technology Working group Specification of Software Systems University of Duisburg-Essen Germany Research Group Software Architecture University of Vienna
No abstract available.
来源: 评论
A User-Centred Design Approach For Agent Based E-Business systems
A User-Centred Design Approach For Agent Based E-Business Sy...
收藏 引用
IEEE International Conference on e-Business Engineering (ICEBE)
作者: Rahat Iqbal Nazaraf Hussain Shah Kuo-ming Chao Anne James Distributed Systems and Modelling Research Group Faculty of Engineering and Computing Coventry University UK Software Engineering Research Group Sheffield Hallam University Sheffield UK
An important aspect of designing for ubiquitous e-business applications is addressing the issues concerning user requirements and culture in which the system is to be deployed. The value of ethnographic analysis in th... 详细信息
来源: 评论
Artificial intelligence for modelling infectious disease epidemics
收藏 引用
Nature 2025年 第8051期638卷 623-635页
作者: Kraemer, Moritz U. G. Tsui, Joseph L.-H. Chang, Serina Y. Lytras, Spyros Khurana, Mark P. Vanderslott, Samantha Bajaj, Sumali Scheidwasser, Neil Curran-Sebastian, Jacob Liam Semenova, Elizaveta Zhang, Mengyan Unwin, H. Juliette T. Watson, Oliver J. Mills, Cathal Dasgupta, Abhishek Ferretti, Luca Scarpino, Samuel V. Koua, Etien Morgan, Oliver Tegally, Houriiyah Paquet, Ulrich Moutsianas, Loukas Fraser, Christophe Ferguson, Neil M. Topol, Eric J. Duchêne, David A. Stadler, Tanja Kingori, Patricia Parker, Michael J. Dominici, Francesca Shadbolt, Nigel Suchard, Marc A. Ratmann, Oliver Flaxman, Seth Holmes, Edward C. Gomez-Rodriguez, Manuel Schölkopf, Bernhard Donnelly, Christl A. Pybus, Oliver G. Cauchemez, Simon Bhatt, Samir Pandemic Sciences Institute University of Oxford Oxford United Kingdom Department of Biology University of Oxford Oxford United Kingdom Department of Electrical Engineering and Computer Science University of California Berkeley Berkeley CA United States UCSF UC Berkeley Joint Program in Computational Precision Health Berkeley CA United States Division of Systems Virology Department of Microbiology and Immunology The Institute of Medical Science The University of Tokyo Tokyo Japan Section of Epidemiology Department of Public Health University of Copenhagen Copenhagen Denmark Oxford Vaccine Group University of Oxford and NIHR Oxford Biomedical Research Centre Oxford United Kingdom Department of Epidemiology and Biostatistics Imperial College London London United Kingdom Department of Computer Science University of Oxford Oxford United Kingdom School of Mathematics University of Bristol Bristol United Kingdom MRC Centre for Global Infectious Disease Analysis School of Public Health Imperial College London London United Kingdom Department of Statistics University of Oxford Oxford United Kingdom Doctoral Training Centre University of Oxford Oxford United Kingdom Institute for Experiential AI Northeastern University MA Boston Thailand Santa Fe Institute Santa Fe NM United States World Health Organization Regional Office for Africa Brazzaville Congo WHO Hub for Pandemic and Epidemic Intelligence Health Emergencies Programme World Health Organization Berlin Germany Centre for Epidemic Response and Innovation (CERI) School for Data Science and Computational Thinking Stellenbosch University Stellenbosch South Africa African Institute for Mathematical Sciences (AIMS) South Africa Muizenberg Cape Town South Africa Genomics England London United Kingdom Scripps Research La Jolla CA United States Department of Biosystems Science and Engineering ETH Zürich Basel Switzerland Swiss Institute of Bioinformatics Lausanne Switzerland The Ethox Centre Nuffield
Infectious disease threats to individual and public health are numerous, varied and frequently unexpected. Artificial intelligence (AI) and related technologies, which are already supporting human decision making in e...
来源: 评论
GridBeans: Supporting e-Science and grid applications
GridBeans: Supporting e-Science and grid applications
收藏 引用
e-Science 2006 - 2nd IEEE International Conference on e-Science and Grid Computing
作者: Ratering, Ralf Lukichev, Alexander Vanni, A. Cacciari, C. Lanzarini, S. Bala, Piotr Riedel, Morris Mallmann, Daniel Benedyczak, K. Borcz, M. Kluszcynski, R. Ohme, Gert Software and Solutions Group Intel Corporation High Performance Computing Department CINECA Italy Interdiscipl. Center for Mathem. and Comp. Modelling Warsaw University Poland Central Institute of Applied Mathematics Research Centre Juelich Germany Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Solutions for Research T-Systems Corporation
Large-scale scientific research often relies on the collaborative use of Grid and e-Science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is ... 详细信息
来源: 评论
GridBeans: Support e-Science and Grid Applications
GridBeans: Support e-Science and Grid Applications
收藏 引用
IEEE International Conference on e-Science and Grid Computing
作者: Ralf Ratering Alexander Lukichev Morris Riedel Daniel Mallmann A. Vanni C. Cacciari S. Lanzarini K. Benedyczak M. Borcz R. Kluszcynski Piotr Bala Gert Ohme Software and Solutions Group Intel Corporation USA Research Centre Juelich Central Institute of Applied Mathematics Germany High Performance Computing Department CINECA Italy Faculty of Mathematics and Computer Science Torun Nicolaus Copernicus University Poland Interdiscipl. Center for Mathem. and Comp Modelling Warsaw University of Technology Poland Solutions for Research T-Systems Corporation USA
Large-scale scientific research often relies on the collaborative use of Grid and e-Science infrastructures that provide computational or storage related resources. One of the ideas of these modern infrastructures is ... 详细信息
来源: 评论
The UK virtual ship - The way forward?
收藏 引用
NAVAL ENGINEERS JOURNAL 2000年 第1期112卷 53-58页
作者: Anderson, T Tony Anderson: joined the Sonar department of what was then the Admiralty Underwater Weapons Establishment on Portland in 1978. His earliest work involved the design and development of an integrated software environment to help research into submarine command tools based on MASCOT and using various networks including DEF STAN 1553B to provide the means of communication between different computers. The research into command aids involved him in their design and development using artificial intelligence techniques and expert systems which was employed in the development of a passive sonar classification system. With a move in 1989 to the Weapons and Countermeasures department he found himself in the studies area where he took the technical lead in the specification of a new modelling environment for both above and below water studies based on the Object Oriented design methodology. He then took a break from the technical side to support his departmental head as his Management Support Officer dealing with financial quality and staffing issues. In October 1996 he was asked by Director Sea Systems to take the technical lead in the development of the virtual ship concept.
The UK is about to embark on the development of a virtual ship to support both current and future ships and submarines during their lifetimes. This paper describes the background as to why the UK is considering this o... 详细信息
来源: 评论
ASYNCHRONOUS TRANSFER MODE (ATM) OPERATION VIA SATELLITE - ISSUES, CHALLENGES AND RESOLUTIONS
收藏 引用
INTERNATIONAL JOURNAL OF SATELLITE COMMUNICATIONS 1994年 第3期12卷 211-222页
作者: CHITRE, DM GOKHALE, DS HENDERSON, T LUNSFORD, JL MATHEWS, N COMSAT Laboratories 22300 Comsat Drive Clarksburg MD 20871 USA. Received his B.Sc. from the University of Bombay India an M.A. in mathematics from the University of Cambridge U.K. and a Ph.D. in physics from the University of Maryland. He is currently an Associate Executive Director of the Network Technology Division at COMSAT Laboratories. He has been involved in research and development activities in ISDN VSAT networks data communications and network systems and architectures. Prior to his current positions Dr. Chitre was a Principal Scientist in the Network Technology Division at COMSAT Laboratories. Dr. Chitre joined COMSAT Laboratories in 1980. He has made major contributions to the analysis and architecture of data communication ISDN and BISDN via satellite. Dr. Chitre directs and participates in the international and national standards activities in ISDN BISDN and data communication as they apply to satellite communication. He was Chairman of the Working Group on Protocols and Network Timing Function of the CCIR/CCITT Joint Ad Hoc Group on ISDN-Satellite Matters during 1990–1992. Currently he is the Chairman of the Working Group on New Technologies in the ITU Intersector Coordinating Group (ICG) on Satellite Matters. Dr. Chitre was a programme manager during 1990 and 1991 on a contract from INTELSAT on systems studies on satellite communications systems architectures for ISDN and broadband ISDN systems. Currently he is the technical manager of the DoD Contract on ATM via satellite demonstration and the programme manager for the INTELSAT contract on analysis and top-level specification of INTELSAT ISDN subnetworks and SDH compatible transport network. Department manager for ISDN/Data Communications in the Network Technology Division of COMSAT Laboratories. His responsibilities include managing the implementation of next generation telecommunication systems for fixed and mobile satellite systems. Current projects include the development of a high data rate gateway switch that provides for the
Key issues regarding the operation of the broadband integrated services digital network (BISDN) via satellite are presented herein. The specific issues, challenges, and their resolutions are detailed. In particular, t... 详细信息
来源: 评论