检索结果-内蒙古大学图书馆

9th International Conference on Relational Methods in Computer Science and 4th International Workshop on Applications of Kleene Algebra, RelMiCS/AKA 2006

作者： Sanders, J.W. Computing Laboratory Programming Research Group Oxford University Parks Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)3540378731

We explore the view of a computation as a relational section of a (trivial) fibre bundle: initial states lie in the base of the bundle and final states lie in the fibres located at their initial states. This leads us to represent a computation in 'fibre-form' as the angelic choice of its behaviours from each initial state. That view is shown to have the advantage also of permitting final states to be of different types, as might be used for example in a semantics of probabilistic computations, and of providing a natural setting for refinement of computations. However we apply that view in a different direction. On computations more general than code the two standard models, the relational and the predicate-transformer models, obey different laws. One way to understand that difference is to study the laws of more refined models, like the semantics of probabilistic computations. Another is to characterise each model by its laws. In spite of their differences, the relational model is embedded in the transformer model by a Galois connection which can be used to transfer much of the structure on transformers to the relational model. We investigate the extent to which the conjugate on predicate transformers translates to relations and use the result to motivate a characterisation of relational computations, achieved by using fibre-forms. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Computation theory

来源：评论

学校读者我要写书评

暂无评论

CodeQuest: Scalable source code queries with datalog

引用

20th European Conference on Object-Oriented programming, ECOOP 2006

作者： Hajiyev, Elnar Verbaere, Mathieu De Moor, Oege Programming Tools Group Oxford University Computing Laboratory Wolfson Building Parks Road Oxford OX1 3QD United Kingdom

ISBN: (纸本)3540357262

Source code querying tools allow programmers to explore relations between different parts of the code base. This paper describes such a tool, named CodeQuest. It combines two previous proposals, namely the use of logic programming and database systems. As the query language we use safe Datalog, which was originally introduced in the theory of databases. That provides just the right level of expressiveness;in particular recursion is indispensable for source code queries. Safe Datalog is like Prolog, but all queries are guaranteed to terminate, and there is no need for extra-logical annotations. Our implementation of Datalog maps queries to a relational database system. We are thus able to capitalise on the query optimiser provided by such a system. For recursive queries we implement our own optimisations in the translation from Datalog to SQL. Experiments confirm that this strategy yields an efficient, scalable code querying system. © Springer-Verlag Berlin Heidelberg 2006.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Making Slicing Mainstream How can we be Weiser?

Making Slicing Mainstream How can we be Weiser?

引用

Beyond Program Slicing 2005

作者： Kalleberg, Karl Trygve Hall, Tracy Ettinger, Ran Institutt for Informatikk Universitetet i Bergen PB 7800 NorwayN-5020 Norway Department of Computer Science Hertfordshire University HertfordshireAL10 9LB United Kingdom Programming Tools Group Computing Laboratory Oxford University OxfordOX1 3QD United Kingdom

By now, the concept of program slicing has been known in the research community for around 25 years. As a research topic, it has enjoyed a fair share of popularity, evidenced by the number of articles published on the topic following Mark Weiser’s seminal paper. However, outside research circles, program slicing appears to be virtually unknown. In this report, we take the premise that program slicing is both technically relevant, and has a sufficient theoretical foundation, to be applied in practice within the software industry. With this premise in mind, we ask ourselves, "what are the mechanisms by which we as a community could make program slicing mainstream"? © 2006 Dagstuhl Seminar Proceedings. All rights reserved.

关键词：

来源：评论

学校读者我要写书评

暂无评论

A compact physiological model of the autoregulation of cerebral blood vessels

引用

Journal of Cerebral Blood Flow & Metabolism 2005年第1_SUPPL期25卷 S165页

作者： Alexander B Rowley Christopher J Stephens Stephen J Payne Computational Biology Research Group Oxford University Computing Laboratory Oxford UK Biomedical Signal Processing Research Group Department of Engineering Science Oxford UK

来源：评论

学校读者我要写书评

暂无评论

Untangling: A slice extraction refactoring

Untangling: A slice extraction refactoring

引用

AOSD 2004: 3rd International Conference on Aspect-Oriented Software Development - Conference Proceedings

作者： Ettinger, Ran Verbaere, Mathieu Programming Tools Group Computing Laboratory University of Oxford

ISBN: (纸本)1581138423

Separation of concerns in existing code can be achieved by specific refactoring techniques. Modern refactoring tools support a number of well-known refactoring transformations, including method extraction. In this paper, we examine how method extraction can be improved through program slicing. Furthermore, we show how a generalization of such slice extraction can be applied to untangle existing code by extracting aspects. Copyright 2004 ACM.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

The Healthgrid White Paper 3

The Healthgrid White Paper

引用

3rd Annual Conference of the Healthgrid Association, Healthgrid 2005

作者： Breton, Vincent Dean, Kevin Solomonides, Tony Aloisio, Giovanni Benkner, Siegfried Bilofsky, Howard Blanquer, Ignacio Brady, Michael Cannataro, Mario Chouvarda, Ioanna Claerhout, Brecht De Moor, Georges De Neve, Wilfried De Wagter, Carlos Fiore, Sandro Hassan, Kinda Heeren, Germaine Hernández, Vicente Herveg, Jean A.M. Hofmann, Martin Jones, Chris Koutkias, Vassilios Lloyd, Sharon Lonsdale, Guy Alonso, Victoria L. Maglaveras, Nicos Maigne, Lydia Malousi, Andigoni Martín-Sánchez, Fernando McClatchey, Richard Medico, Enzo Miguet, Serge Mirto, Maria Montagnat, Johan Nørager1, Sofie Nozaki, Kazunori Oliveira, Ilídio Castro Pennec, Xavier Poullet, Yves Merino, Juan Pedro Sánchez Strizh, Irina G. Taillet, Michel Tristram, Clive Tverdokhlebov, Nikolay Veltri, Pierangelo Ziegler, René CNRS-IN2P3 LPC Campus des Cézeaux AubiereCedex63177 France Internet Business Solutions Group Cisco Systems 9 New Square Bedfont Lakes Middlesex FelthamTW14 8HA United Kingdom University of the West of England Bristol CEMS Coldharbour Lane BristolBS6 6TH United Kingdom Center for Advanced Computational Technologies ISUFI Dept. of Innovation Engineering University of Lecce Via per Monteroni Lecce73100 Italy Institute of Scientific Computing University of Vienna Nordbergstrasse 15 ViennaA-1090 Austria University of Pennsylvania School of Engineering and Applied Science Computer and Information Science Center for Bioinformatics 1416 Blockley Hall 423 Guardian Drive PhiladelphiaPA19104-6021 United States Universidad Politecnica de Valencia Camino de Vera/n Valencia46022 Spain FRS FREng Dept. of Engineering Science Oxford University Parks Road OxfordOX1 3PJ United Kingdom Magna Graecia University of Catanzaro School of Bioinformatics and Biomedical Engineering Campus di Germaneto Viale Europa Germaneto Catanzaro88100 Italy Aristotle University The Medical School Lab of Medical Informatics Box 323 Thessaloniki54124 Greece Custodix NV Verlorenbroodstraat 120 Bus 14 MerelbekeB-9820 Belgium Research in Advanced Medical Informatics and Telematics UZ Gent 5K3 De Pintelaan 185 GentB9000 Belgium Department of Radiotherapy Ghent University Hospital Building P7 De Pintelaan 185 GentB-9000 Belgium Laboratoire LIRIS Université Lumière Lyon 2 Campus Porte des Alpes 5 avenue Pierre Mendès France Bron69676 France av. E.Mounierlaan 83 Brussels1200 Belgium Faculté de Droit de Namur - FUNDP Centre de Recherches Informatiques & Droit 5 rempart de la Vierge Namur5000 Belgium Schloss Birlinghoven Sankt Augustin53754 Germany CERN Geneva 231211 Switzerland Oxford University Computing Laboratory Wolfson Building OxfordOX1 3QD United Kingdom C&C Research Laboratories NEC Europe Ltd. Rathausallee 10 Sankt AugustinD-53757 Germany Medic

ISBN: (纸本)158603510X

Over the last four years, a community of researchers working on Grid and High Performance computing technologies started discussing the barriers and opportunities that grid technologies must face and exploit for the development of health-related applications. This interest lead to the first Healthgrid conference, held in Lyon, France, on January 16th–17th, 2003, with the focus of creating increased awareness about the possibilities and advantages linked to the deployment of grid technologies in health, ultimately targeting the creation of a European/international grid infrastructure for health. The topics of this conference converged with the position of the eHealth division of the European Commission, whose mandate from the Lisbon Meeting was "To develop an intelligent environment that enables ubiquitous management of citizens’ health status, and to assist health professionals in coping with some major challenges, risk management and the integration into clinical practice of advances in health knowledge." In this context "Health" involves not only clinical procedures but covers the whole range of information from molecular level (genetic and proteomic information) over cells and tissues, to the individual and finally the population level (social healthcare). Grid technology offers the opportunity to create a common working backbone for all different members of this large "health family" and will hopefully lead to an increased awareness and interoperability among disciplines. The first HealthGrid conference led to the creation of the Healthgrid association, a non-profit research association legally incorporated in France but formed from the broad community of European researchers and institutions sharing expertise in health grids. After the second Healthgrid conference, held in Clermont-Ferrand on January 29th–30th, 2004, the need for a "white paper" on the current status and prospective of health grids was raised. Over fifty experts from different areas of grid tec

关键词： Health risks

来源：评论

学校读者我要写书评

暂无评论

The tragedy of the digital commons

引用

Ethics and Information Technology 2004年第2期6卷 73-81页

作者： Greco, Gian Maria Floridi, Luciano Dipartimento di Filologia Classica e di Scienze Filosofiche Università degli Studi di Lecce Italy Dipartimento di Scienze Filosofiche Università degli Studi di Bari Italy Information Ethics Research Group Computing Laboratory Oxford University United Kingdom

In the paper it is argued that bridging the digital divide may cause a new ethical and social dilemma. Using Hardin's Tragedy of the Commons, we show that an improper opening and enlargement of the digital environment (Infosphere) is likely to produce a Tragedy of the Digital Commons (TDC). In the course of the analysis, we explain why Adar and Huberman's previous use of Hardin's Tragedy to interpret certain recent phenomena in the Infosphere (especially peer-to-peer communication) may not be entirely satisfactory. We then seek to provide an improved version of the TDC that avoids the possible shortcomings of their model. Next, we analyse some problems encountered by the application of classical ethics in the resolution of the TDC. In the conclusion, we outline the kind of work that will be required to develop an ethical approach that may bridge the digital divide but avoid the TDC. © 2004 Kluwer Academic Publishers.

关键词： Philosophical aspects

来源：评论

学校读者我要写书评

暂无评论

Soccer highlights generation using a priori semantic knowledge

Soccer highlights generation using a priori semantic knowled...

引用

2003 International Conference on Visual Information Engineering VIE 2003

作者： C. Dolbear M. Brady Robotics Research Group Oxford University Computing Laboratory UK

This paper argues that an a priori semantic background knowledge base is essential for automatic audio-visual summarisation. We demonstrate experimentally that content-based metadata are relevant to the selection of events to include in soccer highlights. However they do not provide the necessary context to select all interesting information to present to the viewer. Supported by preliminary results from an ongoing knowledge elicitation study, we also contend that summarised information presented within a narrative structure is more pleasing to the viewer.

关键词：

来源：评论

学校读者我要写书评

暂无评论

How to prevent type flaw attacks on security protocols

How to prevent type flaw attacks on security protocols

引用

作者： Heather, James Lowe, Gavin Schneider, Steve Department of Computing Sch. of Electron. Comp./Mathematics University of Surrey Guildford Surrey GU2 7XH United Kingdom Programming Research Group Computing Laboratory Oxford University Parks Road Oxford OX1 3QD United Kingdom Royal Holloway University of London Egham Hill Egham Surrey TW20 0EX United Kingdom

A type flaw attack on a security protocol is an attack where a field that was originally intended to have one type is subsequently interpreted as having another type. A number of type flaw attacks have appeared in the academic literature. In this paper we prove that type flaw attacks can be prevented using a simple technique of tagging each field with some information indicating its intended type.

关键词： Network protocols

来源：评论

学校读者我要写书评

暂无评论

Scale Saliency: a novel approach to salient feature and scale selection

Scale Saliency: a novel approach to salient feature and scal...

引用

2003 International Conference on Visual Information Engineering VIE 2003

作者： T. Kadir M. Brady Motorola Inc. USA Robotics Research Group Oxford University Computing Laboratory UK

This paper presents an overview of the Scale Saliency algorithm introduced in (Kadir and Brady, 2001). Scale Saliency is a novel method for measuring the saliency of image regions and selecting optimal scales for their analysis. The model underlying the algorithm deems image regions salient if they are simultaneously unpredictable in some feature-space and over scale. The algorithm possesses a number of attractive properties: invariance to planar rotation, scaling, intensity shifts and translation; robustness to noise, changes in viewpoint, and intensity scalings. Moreover, the approach offers a more general model of feature saliency compared with conventional ones, such as those based on kernel convolution, for example wavelet analysis, since such techniques define saliency and scale only with respect to a particular set of basis morphologies. Finally, we present a generalised version of the original algorithm which is invariant to affine transformations.

关键词：

来源：评论

学校读者我要写书评

暂无评论

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

建议与咨询 留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案： 新增检索档案 确定 取消

请选择收藏分类： 新增自定义分类 确定 取消

通借通还

建议与咨询留下您的常用邮箱和电话号码，以便我们向您反馈解决方案和替代方法

请选择保存的检索档案：

请选择收藏分类：