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

4th International Conference on Integrated Formal Methods, IFM 2004

作者： Galán Morillo, F.J. Cañete Valdeón, J.M. Dept. of Languages and Computer Systems Faculty of Computer Science of Seville Av. Reina Mercedes s/n Sevilla41012 Spain

ISBN: (纸本)9783540247562

programming with assertions constitutes an effective tool to detect and correct programming errors. The ability of executing formal specifications is essential in order to test automatically a program with respect to its assertions. However, formal specifications may describe recursive models which are difficult to identify so current assertion checkers limit, in a considerable way, the expressivity of the assertion language. In this paper, we are interested in showing how transformational synthesis can help to execute "expressive" assertions of the form ∀x(r(x) ⇔ QyR(x, y)) where x is a set of variables to be instantiated at execution time, Q is an existential or universal quantifier and R a quantifier free formula in the language of a particular first-order theory A we call assertion context. The class of assertion contexts is interesting because it presents a balance between expressiveness for writing assertions and existence of effective methods for executing them by means of synthesized (definite) logic programs. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Formal specification

来源：评论

学校读者我要写书评

暂无评论

The global engineering college: Lessons learned in exploring a new model for international engineering education

The global engineering college: Lessons learned in exploring...

引用

ASEE 2004 Annual Conference and Exposition, "Engineering Researchs New Heights"

作者： Doerry, Eckehard Doerry, Karl Bero, Bridget Dept. of Computer Science Northern Arizona University Flagstaff AZ 86011 Dept. of Modern Languages Northern Arizona University Flagstaff AZ 86011 Dept. of Civil Engineering Northern Arizona University Flagstaff AZ 86011

The increasing globalization of corporate economies has changed the face of engineering practice. In addition to core engineering skills, modern engineers must possess cross-cultural communication skills, team management skills, and the ability to perform on geographically-distributed teams. In a 2003 ASEE paper5, we described a novel curricular paradigm called the Global Engineering College (GEC), based on the idea of seamlessly combining the curricula and educational opportunities of several internationally-distributed engineering institutions to create a virtual engineering college spanning multiple countries and cultures. In this paper, we report on our experiences piloting the key elements of this model under an NSF planning grant, focusing on the obstacles encountered, and solutions developed to address them.

关键词： Engineering education

来源：评论

学校读者我要写书评

暂无评论

Supporting usage-centered workflow Design: Why and how?

Lecture Notes in Computer Science (including subseries Lectu...

引用

Lecture Notes in computer science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) 2004年 3080卷 227-243页

作者： Kleiner, Niko Dept. of Programming Methodology Faculty of Computer Science University of Ulm D-89069 Germany

One of the most difficult tasks in the development of Processaware Information Systems (p-IS) is the design of the related workflow. Methods and tools to support this design process are an emerging trend in Business Process Management research. Despite the many approaches already presented it is unclear on what researchers should focus. Hence, in this paper, I first undertake a sound problem analysis of the workflow design process. With respect to this analysis, workflow design should primarily be informed of the study of the 'where' and 'why' of deviations of the work practice - which emerges with the deployment and use of the new p-IS - and the initially intended business process. Secondly, I describe log-based Delta-Analysis, a new concept to study process deviations using data logged during operational p-IS-usage. InterPoL, a tool to support log-based Delta-Analysis, is also presented. Finally, I report about results of a feasibility as well as a detailed case study with real-world projects. © Springer-Verlag 2004.

关键词： Enterprise resource management

来源：评论

学校读者我要写书评

暂无评论

Multistory annotation system: A novel application of distance learning

Multistory annotation system: A novel application of distanc...

引用

Proceedings - 18th International Conference on Advanced Information Networking and Applications, AINA 2004

作者： Shih, Timothy K. Liao, Yi-Chun Chang, Han-Bin Kuan, Mei-Yen Yee, George Multimedia Information Network Lab Department of Computer Science Tamkang University Taiwan Dept. of Applied Foreign Languages Kuang Wu Institute of Technology Taiwan National Research Council Canada

ISBN: (纸本)0769520510

For effectively browsing and navigation, the semantic annotation is essential for the visual content of movies. It is very important to show the particular object that the movie producer wants to highlight in educational videos or commercials. We propose an interactive and structure-based video annotation system, in which we can describe the video object and make multistory movies. The system provides a manual object-based interface for film producers to select the meaningful object and annotate it. We also provide a video story constructing function to interact with the audience.

关键词： Distance education

来源：评论

学校读者我要写书评

暂无评论

programming software agents as designing executable business processes: A Model-driven perspective 1

Programming software agents as designing executable business...

引用

First International Workshop ProMAS 2003: programming Multi-Agent Systems

作者： Müller, Jörg P. Bauer, Bernhard Friese, Thomas Siemens AG Corporate Technology Intelligent Autonomous Systems Otto-Hahn-Ring 6 D-81739 München Germany Programming of Distributed Systems Institute of Computer Science University of Augsburg D-86135 Augsburg Dept. of Mathematics and Computer Science University of Marburg D-35032 Marburg Germany

ISBN: (纸本)9783540221807

The contribution of this paper is fourfold. First, we sketch an architecture of agent-enabled business process management that cleanly separates between agent capabilities, business process modeling, and the modeling of services that are employed to actually implement processes. Second, we demonstrate how the Model-Driven Architecture (MDA) paradigm can be beneficially employed at all three layers of the agent-enabled business process architecture. Third, we describe an instance of a platform independent model based on the new UML2 standard, and sketch a mapping to a platform dependent model based on the Business Process Execution Language for Web Services (BPEL4WS). Fourth, we point out the relationship between the programming of multiagent systems, and the design of agent-enabled business processes. Our key thesis is that designing business processes based on an agent-enabled business processes modeling and enactment framework is a useful way of programming agents - a way that may help agent technology to gain much wider acceptance in industry. © Springer-Verlag Berlin Heidelberg 2004.

关键词： Software agents

来源：评论

学校读者我要写书评

暂无评论

STEM: a methodology for the development of multiagent design tools using a general knowledge model of configurational design

STEM: a methodology for the development of multiagent design...

引用

International Conference on Integration of Knowledge Intensive Multi-Agent Systems (KIMAS)

作者： J.F. Bienvenido I.M. Flores-Parra Dept. Languages and Computer Science University of Almeria Almeria Spain Dept. Languages & Comput. Sci. Univ. of Almeria Spain

Developing a greenhouse design tool, we realized the convenience of developing a general configurational design model; we called STE (from its composition by specification, translation and evaluation tasks). We present first this general design model, summarizing how it was described using improved versions of some of knowledge modeling tools of the commonKADS methodology. Later, we present STEM, a methodology that let us to develop design tools using the STE model. Finally, we point out how both, the STE design model and its associated methodology (STEM) were used to build a greenhouse design tool and actually a tool to design aeronautical utensils.

关键词： computer science Multiagent systems USA Councils Bridges Ontologies computer architecture Electronic mail Production systems Agriculture Irrigation

来源：评论

学校读者我要写书评

暂无评论

Usability issues in data mining systems 5

Usability issues in data mining systems

引用

5th International Conference on Enterprise Information Systems, ICEIS 2003

作者： Berzal, Fernando Cubero, Juan-Carlos Marín, Nicolás Serrano, José-María Blanco, Ignacio Dept. Computer Science and Artificial Intelligence E.T.S. Ingeniería Informática University of Granada C/ Periodista Daniel Saucedo Aranda s/n. 18071 Granada Spain Dept. Languages and Computation University of Almería Ctra. Sacramento s/n La-Cañada-Almerĩa04120 Spain

ISBN: (纸本)9729881618

When we build data mining systems, we should reflect upon some design issues which are often overlooked in our quest for better data mining techniques. In particular, we usually focus on algorithmic details whose influence is minor when it comes to users' acceptance of the systems we build. This paper tries to highlight some of the issues which are usually neglected and might have a major impact on our systems usability. Solving some of the usability problems we have identified would certainly add to the odds of successful data mining stories, improve user acceptance and use of data mining systems, and spur renewed interest in the development of new data mining techniques. Our proposal focuses on integrating diverse tools into a framework which should be kept coherent and simple from the user's point of view. Our experience suggests that such a framework should include bottom-up dataset-building blocks to describe input datasets, expert systems to propose suitable algorithms and adjust their parameters, as well as visualization tools to explore data, and communication and reporting services to share the knowledge discovered from the massive amounts of data available in actual databases.

关键词： Data mining

来源：评论

学校读者我要写书评

暂无评论

Almost-certain eventualities and abstract probabilities in quantitative temporal logic

Almost-certain eventualities and abstract probabilities in q...

引用

Computing: The Australasian Theory Symposium (CATS 2001)

作者： McIver, Annabelle Morgan, Carroll Programming Research Group University of Oxford Oxford OX1 3QD United Kingdom Dept. of Engineering and Computer Science University of New South Wales Sydney 2052 Australia Dept. of Computing Macquarie University Sydney 2019 Australia

'Almost-certain eventualities' are liveness properties that hold with probability 1. 'Abstract probabilities' are probabilities in transition systems about which we know only that they are neither 0 nor 1. Vardi [17] showed that almost-certain properties in linear temporal logic depend only on abstract probabilities, rather than on the probabilities' precise values;we discuss the extent to which a similar result holds in quantitative temporal logic [9,10], and we show how to specialise the logic to those cases. The aim is to provide a simpler calculus than the full logic, one that is in a certain sense complete for proving almost-certain eventualities from abstract-probabilistic assumptions. We consider briefly the complexity of the specialised logic. © 2001 Published by Elsevier science B.V.

关键词： Logic programming

来源：评论

学校读者我要写书评

暂无评论

Consistent modeling of distributed mutual exclusion protocol using optimistic simulation 01

Consistent modeling of distributed mutual exclusion protocol...

引用

Proceedings of the fifteenth workshop on Parallel and distributed simulation

作者： Malcolm Yoke Hean Low David M. Nicol Programming Research Group Computing Laboratory University of Oxford Dept. of Computer Science Dartmouth College

ISBN: (纸本)9780769511047

This paper discusses the problem of risk in optimistic simulation protocols, using as example simulation of a distributed mutual exclusion protocol with strong consistency properties. The simulation model is augmented to detect model inconsistency errors resulting from risky optimistic simulation. While the model runs sequentially without consistency errors, errors occur when the model is executed in parallel optimistically. Some of the errors entirely violate the fundamental mutual exclusion properties of the model itself. To address this problem we extend the optimistic simulation library to eliminate these inconsistencies. We discuss the details of these extensions and the performance trade-off for adding them.

关键词：

来源：评论

学校读者我要写书评

暂无评论

Towards a rigorous and effective functional contract for components

引用

Informatica (Ljubljana) 2001年第4期25卷 527-532页

作者： Galán Morillo, F.J. Diaz, V. Cañete Valdeón, J.M. Dept. of Languages and Comp. Systems Faculty of Computer Science Av. de Reina Mercedes s/n 41012 Sevilla Spain

The abstract data type (ADT) is the basis for the information-hiding design philosophy that makes software easier to analyze and understand, and that support maintenance and reuse. For these reasons, ADTs can be used to write contracts between specifiers that describe type requirements in an abstract and declarative way and programmers that implement components for these requirements. The construction of components from software specifications could not be a systematic activity if the specification language has powerful abstraction and expression capabilities. Therefore, it is very important to study different forms of type specification in order to understand its programming repercussions. The form of specification is essential to consider a type specification as a rigorous and effective functional contract for components between a specifier and a programmer.

关键词： Software engineering

来源：评论

学校读者我要写书评

暂无评论

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

请选择保存的检索档案：

请选择收藏分类：

通借通还

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

时间限定

文献类型

馆藏选择

核心期刊

语言

文献类型

帮助

文字说明：

检索规则说明：

检索范例：

分类表

所选分类

限定检索结果

文献类型

馆藏范围

日期分布

学科分类号

主题

机构

作者

语言

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

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

通借通还

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

请选择保存的检索档案：

请选择收藏分类：