咨询与建议

限定检索结果

文献类型

  • 42 篇 会议
  • 31 篇 期刊文献
  • 2 册 图书

馆藏范围

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

日期分布

学科分类号

  • 40 篇 工学
    • 27 篇 计算机科学与技术...
    • 22 篇 软件工程
    • 11 篇 信息与通信工程
    • 10 篇 光学工程
    • 8 篇 控制科学与工程
    • 5 篇 生物工程
    • 4 篇 生物医学工程(可授...
    • 4 篇 安全科学与工程
    • 3 篇 机械工程
    • 3 篇 电气工程
    • 3 篇 电子科学与技术(可...
    • 1 篇 力学(可授工学、理...
    • 1 篇 仪器科学与技术
    • 1 篇 动力工程及工程热...
    • 1 篇 建筑学
    • 1 篇 土木工程
    • 1 篇 化学工程与技术
  • 24 篇 理学
    • 11 篇 物理学
    • 6 篇 数学
    • 6 篇 生物学
    • 3 篇 系统科学
    • 3 篇 统计学(可授理学、...
    • 1 篇 化学
    • 1 篇 大气科学
  • 7 篇 管理学
    • 7 篇 管理科学与工程(可...
    • 3 篇 工商管理
  • 5 篇 医学
    • 5 篇 临床医学
    • 4 篇 基础医学(可授医学...
  • 2 篇 法学
    • 1 篇 法学
    • 1 篇 社会学
  • 1 篇 军事学

主题

  • 9 篇 computer science
  • 7 篇 software enginee...
  • 5 篇 hardware
  • 4 篇 programming
  • 3 篇 forehead
  • 3 篇 buildings
  • 3 篇 monitoring
  • 3 篇 costs
  • 3 篇 power electronic...
  • 2 篇 runtime
  • 2 篇 heart rate
  • 2 篇 safety
  • 2 篇 application soft...
  • 2 篇 computer archite...
  • 2 篇 power system mod...
  • 2 篇 prototypes
  • 2 篇 embedded systems
  • 2 篇 software tools
  • 2 篇 sockets
  • 2 篇 biomedical monit...

机构

  • 6 篇 declarative syst...
  • 4 篇 electronics and ...
  • 3 篇 computational op...
  • 3 篇 group of bio-pho...
  • 3 篇 department of so...
  • 3 篇 faculty of appli...
  • 3 篇 department of in...
  • 2 篇 university of wü...
  • 2 篇 school of mathem...
  • 2 篇 department of ps...
  • 2 篇 xidian universit...
  • 2 篇 department of so...
  • 2 篇 department of co...
  • 2 篇 bytedance
  • 2 篇 computer vision ...
  • 2 篇 bytedance inc
  • 2 篇 department of co...
  • 2 篇 declarative syst...
  • 2 篇 alibaba group
  • 2 篇 declarative syst...

作者

  • 5 篇 ahmed kawsar
  • 4 篇 rashed ahmed nab...
  • 4 篇 changseok bae
  • 4 篇 r.j. walters
  • 4 篇 paul bikash kuma...
  • 4 篇 p. henderson
  • 4 篇 crouch stephen
  • 4 篇 walters robert j...
  • 3 篇 amiri i.s.
  • 3 篇 dong wan ryoo
  • 3 篇 henderson peter
  • 2 篇 li xin
  • 2 篇 ni qinglai
  • 2 篇 rogers e.
  • 2 篇 sang hyun kim
  • 2 篇 katona jozsef
  • 2 篇 timofte radu
  • 2 篇 galkowski k.
  • 2 篇 r. walters
  • 2 篇 s. crouch

语言

  • 70 篇 英文
  • 4 篇 其他
  • 1 篇 中文
检索条件"机构=Declarative Systems and Software Engineering Group Department of Electronics and Computer Science"
75 条 记 录,以下是51-60 订阅
排序:
Adaptive Noise Cancellation Using Accelerometers for the PPG Signal from Forehead
Adaptive Noise Cancellation Using Accelerometers for the PPG...
收藏 引用
Annual International Conference of the IEEE engineering in Medicine and Biology Society (EMBC)
作者: Sang Hyun Kim Dong Wan Ryoo Changseok Bae Department of Computer Software and Engineering Korea University of Science and Technology South Korea Department of Post-PC Research Group Digital Home Research Division Electronics and Telecommnications Research Institute South Korea
For the upcoming ubiquitous computing environments in the u-health areas involve the measurement of physiological signals in the daily life. However, the measurement of those signals, such as the photoplethysmography ... 详细信息
来源: 评论
Developing Ontology for Intelligent Home Service Framework
Developing Ontology for Intelligent Home Service Framework
收藏 引用
2007 IEEE International Symposium on Consumer electronics (ISCE 2007), vol.2
作者: Inbong Joo Jongyoul Park Euihyun Paik Computer Software and Engineering Department University of Science and Technology Daejeon South Korea Home Network Research Group Electronics and Telecommunications Research Institute Daejeon South Korea
Home services are all kind of services which are provided in home environment. Legacy Researches was focused on controlling home devices and appliances. And recent works focus on the multimedia services. In the future... 详细信息
来源: 评论
M-Grid: Using ubiquitous web technologies to create a computational grid
M-Grid: Using ubiquitous web technologies to create a comput...
收藏 引用
European Grid Conference on Advances in Grid Computing - EGC 2005
作者: Walters, Robert John Crouch, Stephen Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom
There are many potential users and uses for grid computing. However, the concept of sharing computing resources excites security concerns and, whilst being powerful and flexible, at least for novices, existing systems... 详细信息
来源: 评论
Implementing hierarchical features in a graphically based formal modelling language
Implementing hierarchical features in a graphically based fo...
收藏 引用
Proceedings of the 28th Annual International computer software and Applications Conference, COMPSAC 2004
作者: Henderson, Peter Walters, Robert John Crouch, Stephen Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton SO17 1BJ United Kingdom
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal modelling languages which they find diffic... 详细信息
来源: 评论
Implementing hierarchical features in a graphically based formal modelling language
Implementing hierarchical features in a graphically based fo...
收藏 引用
IEEE Annual International computer software and Applications Conference (COMPSAC)
作者: P. Henderson R.J. Walters S. Crouch Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK
Many developers who could benefit from building and analysing formal models of their systems are deterred from doing so by the process algebra style input languages of formal modelling languages which they find diffic... 详细信息
来源: 评论
Channel estimation complexity reduction using caching
Channel estimation complexity reduction using caching
收藏 引用
Proceedings of the IEEE Circuits and systems Symposium on Emerging Technologies
作者: N. Baghaei I.V. McLoughlin Department of Computer Science & Software Engineering University of Canterbury Christchurch New Zealand Group Research Tait Electronics Limited Christchurch New Zealand
In this paper, the caching concept is applied to the calculation of channel information for equalisation in a wireless communication system. The concept has been evaluated using a real-time time-reversal space-time bl... 详细信息
来源: 评论
Using SPIN and STeP to verify business processes specifications
收藏 引用
5th International Andrei Ershov Memorial Conference on Perspectives of System Informatics, PSI 2003
作者: Augusto, Juan C. Butler, Michael Ferreira, Carla Craig, Stephen-John Declarative Systems and Software Engineering Research Group Department of Electronics and Computer Science University of Southampton Southampton United Kingdom
Business transactions are prone to failure and having to deal with unexpected situations. Some business process specification languages, e.g. StAC, introduce notions like compensation handling. Given the need of verif... 详细信息
来源: 评论
Datawarp: Building applications which make progress in an inconsistent world
Datawarp: Building applications which make progress in an in...
收藏 引用
4th IFIP WG 6.1 International Conference on Distributed Applications and Interoperable systems, DAIS 2003 held as a joint event in federation with 6th IFIP WG 6.1 International Conference on Formal Methods for Open Object-based Distributed systems, FMOODS 2003
作者: Henderson, Peter Walters, Robert John Crouch, Stephen Ni, Qinglai Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton SouthamptonSO17 1BJ United Kingdom
The usual approach to dealing with imperfections in data is to attempt to eliminate them. However, the nature of modern systems means this is often futile. This paper describes an approach which permits applications t... 详细信息
来源: 评论
Comparison of some negotiation algorithms using a tournament-based approach
Comparison of some negotiation algorithms using a tournament...
收藏 引用
International Workshop on Agent Technologies for e-Services, ATES 2002, 3rd International Symposium on Multi-Agent systems, Large Complex systems, and E-Businesses, MALCEB 2002 and International Workshop on Agent Technology and software engineering, AgeS 2002 held in conjunction with International Conference on Net.ObjectDays, NODe 2002
作者: Henderson, Peter Crouch, Stephen Walters, Robert John Ni, Qinglai Declarative Systems and Software Engineering Department of Electronics and Computer Science University of Southampton SouthamptonSO17 1BJ United Kingdom
This paper provides some results and analysis of several negotiation algorithms. We have used a tournament-based approach to evaluation and applied this within a community of Buyers and Sellers in a simulated car hire... 详细信息
来源: 评论
Automating checking of models built using a graphically based formal modeling language
Automating checking of models built using a graphically base...
收藏 引用
IEEE Annual International computer software and Applications Conference (COMPSAC)
作者: R.J. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK
RDT is a graphical formal modeling language in which the modeler works by constructing diagrams of the processes in their model which they join together to form complete systems. Aside from the benefits which accrue a... 详细信息
来源: 评论