The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that enables

The paper describes the certification mark promoted by the Italian Association of Computer Science University Professors (GRIN) for undergraduate and graduate degree programs in Computer Science. The certification process yields a system of comparable and transparent curricula that facilitates

The eCHASE project is using semantic web technologies to demonstrate sustainable business models based on access and exploitation of digital cultural heritage content at a European level. In this paper we describe the eCHASE project and outline the system architecture.

Abstract. The development and use of content-based retrieval techniques for 3-D models is a relatively new departure in multimedia retrieval. We have extended our existing multimedia museum information system to support content-, metadata- and concept-based retrieval of 3-D models of museum artifacts and in this paper we describe a “classifier agent ” to automatically assign associations between 3-D artifacts and concepts and metadata stored in a domain ontology. The context of the classifier agent is described, together with an overview of its architecture. Selecting appropriate parameters for the agent is an important activity and a comparison is made between manually selected parameters and the results of an automatic technique to determine “optimal ” settings. 1

Automated V&V for high integrity systems, a targeted formal methods approach

Information in the Web is typically found with the help of a Web search engine. For instance, Google has been reported to index over eight billion Web pages and to process over 200 million queries a day. Information is available, but users express their information need with very few query words, typically with one or two. The task of finding relevant information from a set of 8 billion documents with a cue of just two words is a tremendous challenge. Search engines perform incredibly well with sophisticated result ranking methods, but there are cases when the result ranking is not appropriate. For example, undirected informational searches where a broad understanding about a topic is sought or queries with ambiguous terms are such cases. Our approach is to enhance users ’ result access process with automatically formed filtering categories. Categories provide an understandable overview of the results and make accessing of relevant results easy. The

Network protocols are often implemented in languages such as C which provide high efficiency but are difficult to maintain or extend. This project aims to show that by using a high-level language to develop a network protocol an implementation is more readable and modular and therefore is more maintainable and easier to extend. To demonstrate this an implementation of the Transmission Control Protocol (TCP) has been created in the high-level language Scala. TCP is a highly complex transport level protocol that is generally implemented in C inside operating system kernels. Scala is a relatively new programming language which allows programmers to code in either the functional or object-oriented style, or a combination of the two. The implementation relies heavily on the Actors model of concurrency, that Scala provides, to create a highly concurrent TCP. Scala offers a rich type system which has been utilised to represent the structures of TCP in a more accessible way and in a manner that provides encapsulation at each layer, improving the overall understandability of the system. This implementation is compared with the existing Linux and FreeBSD implementations

Abstract not found

Research into traceability at the University of Newcastle upon Tyne has concentrated on a framework supporting all aspects of the lifecycle, as a vehicle for recording, analysing and tracing development and assessment artefacts. This framework is focussed on the recording of design rationale, over

In present-day computing environments, a user often employs programs which are sent or fetched from different sites to achieve his/her goals, either privately or in an organization. Such programs may be run as a code to do a simple calculation task or as interactive parallel programs doing IO