This paper is the first work product of Joint Task 1 (JT01) defined in the Joint Workplan for cooperation on Security of Information Systems [1]. The objectives of JT01 are to: (a) Establish a common set of security functionality classes, representative of international and regional market-driven needs. (b) Develop a common approach to the creation of profiles from these security functionality ...

To insure that a Trusted Platform Module (TPM) has been manufactured according to high security standards, Trusted Computing Group (TCG) specifications are accomplished by conformance tests. Conformance describes the correct and secure implementation of a TPM according to the specification and the respective protection profile. Conformance with a protection profile and security target, which bo...

Programming parallel machines has always been difficult, but the new multicore reality has triggered significant research projects such as those part of the DARPA HPCS challenge that put forth programmer productivity as on par with performance. Since programming models are crucial in supporting the programming of parallel machines, this raises the question of how the PLDI community should evalu...

Among interactive system developers and users there is now much agreement that usability is an essential quality of software systems. The introduction of usability evaluation methods (UEMs) to assess and improve usability in such systems has led to a variety of alternative approaches and a general lack of understanding of the capabilities and limitations of each. This confusion has intensified ...

The original idea for this handbook of attitude and personality measures came from Robert Lane, a political scientist at Yale University. Like most social scientists, Lane found it difficult to keep up with the proliferation of social attitude measures. In the summer of 1958, he attempted to pull together a broad range of scales that would be of interest to researchers in the field of political...

This paper compares three specification-based testing criteria using Mathur and Wong’s PROBSUBSUMES measure. The three criteria are specification-mutation coverage, full predicate coverage, and transition-pair coverage. A novel aspect of the work is that each criterion is encoded in a model checker, and the model checker is used first to generate test sets for each criterion and then to evaluat...

Evaluating and selecting alternatives investment projects needs considering all relevant and important aspects. In traditional methods, the focus is just on tangible monetary criteria. Also in the traditional methods, either all the information’s about factors must be known precisely or sufficient objective data must be available for applying probability theory. In this paper, a combinative app...

Millions of dollars have been invested into the development of digital libraries. There are many unanswered questions regarding their evaluation, in particular, from users’ perspectives. This study intends to investigate users’ use, their criteria and their evaluation of the two selected digital libraries. Nineteen subjects were recruited to participate in the study. They were instructed to kee...