咨询与建议

限定检索结果

文献类型

  • 14 篇 会议
  • 2 篇 期刊文献

馆藏范围

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

日期分布

学科分类号

  • 8 篇 工学
    • 8 篇 计算机科学与技术...
    • 6 篇 软件工程
    • 1 篇 电气工程
    • 1 篇 信息与通信工程
    • 1 篇 控制科学与工程
  • 2 篇 理学
    • 2 篇 数学

主题

  • 7 篇 computer science
  • 7 篇 software enginee...
  • 3 篇 programming
  • 3 篇 hardware
  • 2 篇 application soft...
  • 2 篇 power system mod...
  • 2 篇 buildings
  • 2 篇 software tools
  • 2 篇 computer applica...
  • 2 篇 assembly systems
  • 2 篇 internet
  • 2 篇 design engineeri...
  • 2 篇 costs
  • 1 篇 software systems
  • 1 篇 information syst...
  • 1 篇 conferences
  • 1 篇 safety
  • 1 篇 software algorit...
  • 1 篇 read only memory
  • 1 篇 prototypes

机构

  • 6 篇 declarative syst...
  • 2 篇 declarative syst...
  • 2 篇 dept. of mathema...
  • 2 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...

作者

  • 5 篇 r.j. walters
  • 5 篇 p. henderson
  • 4 篇 crouch stephen
  • 4 篇 walters robert j...
  • 3 篇 s. crouch
  • 3 篇 henderson peter
  • 2 篇 ni qinglai
  • 2 篇 r. walters
  • 1 篇 c. ferreira
  • 1 篇 butler michael
  • 1 篇 jørgensen jesper
  • 1 篇 michael leuschel
  • 1 篇 a. gravell
  • 1 篇 y. howard
  • 1 篇 ferreira carla
  • 1 篇 jesper jørgensen
  • 1 篇 qinglai ni
  • 1 篇 j. augusto
  • 1 篇 craig stephen-jo...
  • 1 篇 leuschel michael

语言

  • 16 篇 英文
检索条件"机构=Declarative Systems and Software Engineering"
16 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Effects of introducing survival behaviours into automated negotiators
Effects of introducing survival behaviours into automated ne...
收藏 引用
IEEE Annual International Computer software and Applications Conference (COMPSAC)
作者: P. Henderson S. Crouch R.J. Walters Qinglai Ni Declarative Systems and Software Engineering Electronics and Computer Science University of Southampton Southampton UK
With the rise of distributed e-commerce in recent years, demand for automated negotiation has increased. In turn, this has facilitated a demand for ever more complex algorithms to conduct these negotiations. As the co... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Model-based approaches for validating business critical systems
Model-based approaches for validating business critical syst...
收藏 引用
IEEE International Workshop on software Technology and engineering Practice (STEP)
作者: J. Augusto Y. Howard A. Gravell C. Ferreira S. Gruner M. Leuschel Declarative Systems and Software Engineering Research Group Department of Electronics and Computer Science University of Southampton Southampton UK
Developing a business critical system can involve considerable difficulties. This paper describes part of a new methodology that tackles this problem using co-evolution of models and prototypes to strengthen the relat... 详细信息
来源: 评论
Abstract partial deduction challenged (summary)
收藏 引用
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2003年 2664卷 258-259页
作者: Gruner, Stefan Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton SO17 1BJ United Kingdom
来源: 评论