咨询与建议

限定检索结果

文献类型

  • 14 篇 会议
  • 2 篇 期刊文献
  • 1 册 图书

馆藏范围

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

日期分布

学科分类号

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

主题

  • 8 篇 software enginee...
  • 7 篇 computer science
  • 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 篇 theory of comput...
  • 1 篇 safety
  • 1 篇 software algorit...
  • 1 篇 read only memory

机构

  • 6 篇 declarative syst...
  • 2 篇 declarative syst...
  • 2 篇 dept. of mathema...
  • 2 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 turku centre for...
  • 1 篇 declarative syst...
  • 1 篇 declarative syst...
  • 1 篇 department of el...
  • 1 篇 declarative syst...
  • 1 篇 department of co...

作者

  • 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 篇 kaisa sere
  • 1 篇 luigia petre
  • 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

语言

  • 17 篇 英文
检索条件"机构=Declarative Systems and Software Engineering"
17 条 记 录,以下是1-10 订阅
排序:
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
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... 详细信息
来源: 评论
System design validation using formal models
System design validation using formal models
收藏 引用
International Workshop on Rapid System Prototyping (RSP)
作者: P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK
Formal methods are a nice idea, but the size and complexity of real systems means that they are impractical. We propose that a reasonable alternative to attempting to specify and verify the system in its entirety is t... 详细信息
来源: 评论
Component-based systems as an aid to design validation
Component-based systems as an aid to design validation
收藏 引用
IEEE International Conference on Automated software engineering (ASE)
作者: P. Henderson R. Walters Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK
There is a continuing need for software engineers to design better-quality systems more quickly. Component-based technologies promise to make this possible, but modern systems are too complex for a full analysis of th... 详细信息
来源: 评论
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... 详细信息
来源: 评论
Inconsistency tolerance across enterprise solutions
Inconsistency tolerance across enterprise solutions
收藏 引用
IEEE Workshop on Future Trends of Distributed Computing systems
作者: P. Henderson R.J. Walters S. Crouch Declarative Systems and Software Engineering Group Department of Electronics and Computer Science University of Southampton Southampton UK
As every information system becomes connected to every other information system, they form the so-called "information utility". This is the domain in which contemporary distributed systems have to operate. N... 详细信息
来源: 评论