14165227
Special issue: "Web retrieval and mining"
5119403
Multimedia Information Systems
This is the third year for the minitrack on Multimedia Information Systems at the Annual Hawaii International Conference on System Sciences. The presence of this minitrack reflects the importance and recent proliferation of multimedia applications. This proliferation has been driven by technological advances resulting in dramatic decreases in price/performance ratios in processing and storage technologies, video and audio input/output devices, imaging systems, and telecommunications. As it is not disputed that multimedia technology will be an indispensable aspect of computer/human interaction in the next-generation computing environment, approaches for applying multi-media technology and mechanisms for managing multimedia information in organizations are in demand.
19362390
Introduction to the Journal on Digital Libraries special issue on Asian digital libraries
12061239
Constraint generation for separation of duty
Separation of Duty (SoD) is widely recognized to be a fundamental principle in computer security. A Static SoD (SSoD) policy states that in order to have all permissions necessary to complete a sensitive task, the cooperation of at least a certain number of users is required. In Role-Based Access Control (RBAC), Statically Mutually Exclusive Role (SMER) constraints are used to enforce SSoD policies. This paper studies the problem of generating sets of constraints that (a) enforce a set of SSoD policies, (b) are compatible with the existing role hierarchy, and (c) are minimal in the sense that there is no other constraint set that is less restrictive and satisfies (a) and (b).
21266732
User Misconceptions of Information Retrieval Systems
In this paper, we report results of an investigation where thirty subjects were observedperforming subject-based search in an online catalog system. The observationshave revealed a range of misconceptions users have when performing subject-basedsearch. We have developed a taxonomy that characterizes these misconceptions andhypotheses about the causes of the misconceptions. Directions for improving searchperformance are also suggested.
9059456
Model Checking One Million Lines of C Code
Implementation bugs in security-critical software are pervasive. Several authors have previously suggested model checking as a promising means to detect improper use of system interfaces and thereby detect a broad class of security vulnerabilities. In this paper, we report on our practical experience using MOPS, a tool for software model checking security-critical applications. As examples of security vulnerabilities that can be analyzed using model checking, we pick five important classes of vulnerabilities and show how to codify them as temporal safety properties, and then we describe the results of checking them on several significant Unix applications using MOPS. After analyzing over one million lines of code, we found more than a dozen new security weaknesses in important, widely-deployed applications. This demonstrates for the first time that model checking is practical and useful for detecting security weaknesses at large scale in real,
1872726
An analysis of image queries in the field of art history
This study investigates end-users’ image queries by comparing the features of the queries to those identified in previous studies by Enser and McGregor (1992), Jorgensen (1995), and Fidel (1997). Twenty-nine college students majoring in art history were recruited. They were required to finish a term paper including at least 20 images. The participants’ image queries were collected by preand postsearch questionnaires, and three human reviewers mapped these queries into the previously identified features. Enser and McGregor’s categories of Unique and Nonunique, and Jorgensen’s classes of Location, Literal Object, Art Historical Information, People, and People-Related Attributes received high degrees of matching by three reviewers. This finding can be applied to add more details to Enser and McGregor’s four categories (Unique, Nonunique, Unique with refiners, and Nonunique with refiners) and to regroup Jorgensen’s 12 classes of image attributes.