Computer Performance Evaluation Users Group (CPEUG) : proceedings of the fourteenth meeting held at Boston, Massachusetts, October 24-27, 1978 /

Includes bibliographies.

A methodology for the selection of interactive computer services /

Includes bibliographical references (p. 39-42).

Guide to computer program directories /

Includes indexes.

Computer security and the data encryption standard : proceedings of the Conference on Computer Security and the Data Encryption Standard held at the National Bureau of Standards in Gaithersburg, Maryland, on February 15, 1977 /

Mode of access: Internet.

An analysis of computer security safeguards for detecting and preventing intentional computer misuse /

Mode of access: Internet.

Design alternatives for computer network security /

Includes bibliographical references (p. 154-159).

Computer Performance Evaluation Users Group (CPEUG) : proceedings of the fifteenth meeting held at San Diego, California, October 15-18, 1979 /

Includes bibliographies

Application of measurement criteria in the selection of interactive computer services /

"Issued April 1980."

Computer model documentation guide /

Item 247.

Computer Performance Evaluation Users Group (CPEUG) : proceedings of the Sixteenth Meeting held at Orlando, Florida, October 20-23, 1980 /

Item 247.

Computer software management : a primer for project management and quality control /

Includes bibliographical references (p. 48-49).

Considerations in the selection of security measures for automatic data processing systems /

"Contributed to the Federal Information Processing Standards Task Group 15 - Computer Systems Security" -t.p.

Creating Educational Immersive Environments Using a Computer Game Engine: Case Studies and Design Theory

This paper aims to crystallize recent research performed at the University of Worcester to investigate the feasibility of using the commercial game engine ‘Unreal Tournament 2004’ (UT2004) to produce ‘Educational Immersive Environments’ (EIEs) suitable for education and training. Our research has been supported by the UK Higher Education Academy. We discuss both practical and theoretical aspects of EIEs. The practical aspects include the production of EIEs to support high school physics education, the education of architects, and the learning of literacy by primary school children. This research is based on the development of our novel instructional medium, ‘UnrealPowerPoint’. Our fundamental guiding principles are that, first, pedagogy must inform technology, and second, that both teachers and pupils should be empowered to produce educational materials. Our work is informed by current educational theories such as constructivism, experiential learning and socio-cultural approaches as well as elements of instructional design and game principles.

MINING AND VERIFICATION OF TEMPORAL EVENTS WITH APPLICATIONS IN COMPUTER MICRO-ARCHITECTURE RESEARCH

Computer simulation programs are essential tools for scientists and engineers to understand a particular system of interest. As expected, the complexity of the software increases with the depth of the model used. In addition to the exigent demands of software engineering, verification of simulation programs is especially challenging because the models represented are complex and ridden with unknowns that will be discovered by developers in an iterative process. To manage such complexity, advanced verification techniques for continually matching the intended model to the implemented model are necessary. Therefore, the main goal of this research work is to design a useful verification and validation framework that is able to identify model representation errors and is applicable to generic simulators. The framework that was developed and implemented consists of two parts. The first part is First-Order Logic Constraint Specification Language (FOLCSL) that enables users to specify the invariants of a model under consideration. From the first-order logic specification, the FOLCSL translator automatically synthesizes a verification program that reads the event trace generated by a simulator and signals whether all invariants are respected. The second part consists of mining the temporal flow of events using a newly developed representation called State Flow Temporal Analysis Graph (SFTAG). While the first part seeks an assurance of implementation correctness by checking that the model invariants hold, the second part derives an extended model of the implementation and hence enables a deeper understanding of what was implemented. The main application studied in this work is the validation of the timing behavior of micro-architecture simulators. The study includes SFTAGs generated for a wide set of benchmark programs and their analysis using several artificial intelligence algorithms. This work improves the computer architecture research and verification processes as shown by the case studies and experiments that have been conducted.

Ambient intelligence in home care in the Netherlands

Paper based in the report for the unit “Social Factors of Innovation” of the Master degree on Computer Sciences at Faculty of Sciences and Technology, Universidade Nova de Lisboa, under the supervision of António Brandão Moniz