共查询到20条相似文献,搜索用时 110 毫秒
1.
Assumptions are frequently made during requirements analysis of a system about the trustworthiness of its various components
(including human components). These trust assumptions, whether implicit or explicit, affect the scope of the analysis, derivation
of security requirements, and in some cases how functionality is realized. This paper presents trust assumptions in the context
of analysis of security requirements. A running example shows how trust assumptions can be used by a requirements engineer
to help define and limit the scope of analysis and to document the decisions made during the process. The paper concludes
with a case study examining the impact of trust assumptions on software that uses the secure electronic transaction specification.
相似文献
2.
In this paper we address the problem of comparing multimedia documents, which can be described according to different reference
models. If we consider pre- sentations as collections of media items and constraints among them, expressed ac- cording to
their reference model, they must be translated to a common formalism in order to compare their temporal behavior and detect
if they have a common component (i.e., intersection), if one of them is included in another one (i.e., inclusion), or if they have the same temporal evolution along time (i.e., equivalence). In this paper, we propose the use of automata, to describe the temporal evolution of a document, and the SMIL language
as a case study, since this standard allows to describe the same behavior with different sets of tags. In case of behaviorally
equivalent SMIL documents, we propose an algorithm to extract the canonical form that represents this behavior.
相似文献
3.
Scenarios have been shown to be very helpful in identifying and communicating requirements for computer-based systems (CBSs). However, they appear not to be applicable to the rest of the CBS development process. Making scenarios more useful for the entire software development lifecycle requires integrating scenarios to other representations used during CBS development. This integration is achieved with tracing technology. Having integrated scenarios into the entire software development lifecycle creates the necessity to maintain scenarios through the inevitable changes that they and other documents undergo and to subject them to configuration management. We have prototyped automated support for full-lifecycle scenario management and have applied it to some non-trivial systems.This paper is an amalgamation and extension of the conference papers numbered 8, 9, 10, and 11 in the bibliography of this paper. 相似文献
4.
Quantitative usability requirements are a critical but challenging, and hence an often neglected aspect of a usability engineering process. A case study is described where quantitative usability requirements played a key role in the development of a new user interface of a mobile phone. Within the practical constraints of the project, existing methods for determining usability requirements and evaluating the extent to which these are met, could not be applied as such, therefore tailored methods had to be developed. These methods and their applications are discussed. 相似文献
5.
The Stanford Event Heap has been shown to provide appropriate support for constructing interactive workspace applications.
Given this success it is natural to consider the Event Heap as a platform to support other classes of Ubiquitous Computing
applications. In this paper we argue that the distributed, spontaneous nature of these applications places additional demands
on the Event Heap that require extensions to both the engineering and API. Suitable extensions are described and their use
to support a typical Ubicomp application is discussed.
相似文献
6.
Awareness systems have attracted significant research interest for their potential to support interpersonal relationships.
Investigations of awareness systems for the domestic environment have suggested that such systems can help individuals stay
in touch with dear friends or family and provide affective benefits to their users. Our research provides empirical evidence
to refine and substantiate such suggestions. We report our experience with designing and evaluating the ASTRA awareness system,
for connecting households and mobile family members. We introduce the concept of connectedness and its measurement through
the Affective Benefits and Costs of communication questionnaire (ABC-Q). We inform results that testify the benefits of sharing
experiences at the moment they happen without interrupting potential receivers. Finally, we document the role that lightweight,
picture-based communication can play in the range of communication media available.
相似文献
7.
This paper describes the simulated car racing competition that was arranged as part of the 2007 IEEE Congress on Evolutionary
Computation. Both the game that was used as the domain for the competition, the controllers submitted as entries to the competition
and its results are presented. With this paper, we hope to provide some insight into the efficacy of various computational
intelligence methods on a well-defined game task, as well as an example of one way of running a competition. In the process,
we provide a set of reference results for those who wish to use the simplerace game to benchmark their own algorithms. The paper is co-authored by the organizers and participants of the competition.
相似文献
8.
The European Union co-funded COMUNICAR (communication multimedia unit inside car) project designed and developed an integrated multimedia human–machine interface (HMI) able to manage a wide variety of driver information systems (from entertainment to safety). COMUNICAR proposed an innovative information provision paradigm, in which the on-vehicle HMI is able to tailor the delivery of the information in real time according to the actual driving context and the drivers workload. COMUNICAR adopted a user-centred design process involving an iterative development based on extensive user tests since the early phases of the project. This approach was particularly useful to define and improve the layout of the user interface and specify the rules that decide the scheduling and the modalities of the delivery of the information messages to the driver. This paper introduces the COMUNICAR concept and the user-centred flow of design. Then, a concrete case of user-test driven, iterative improvement of a systems functionality is presented. We also briefly describe two software tools that we have designed to enhance the development process in a user-centred perspective. Finally, the future evolution of the concept of smart and safe information scheduling is sketched and discussed. 相似文献
9.
We present a study of using camera-phones and visual-tags to access mobile services. Firstly, a user-experience study is described in which participants were both observed learning to interact with a prototype mobile service and interviewed
about their experiences. Secondly, a pointing-device task is presented in which quantitative data was gathered regarding the speed and accuracy with which participants aimed and clicked
on visual-tags using camera-phones. We found that participants’ attitudes to visual-tag-based applications were broadly positive,
although they had several important reservations about camera-phone technology more generally. Data from our pointing-device
task demonstrated that novice users were able to aim and click on visual-tags quickly (well under 3 s per pointing-device
trial on average) and accurately (almost all meeting our defined speed/accuracy tradeoff of 6% error-rate). Based on our findings,
design lessons for camera-phone and visual-tag applications are presented.
相似文献
10.
Management of large collection of replicated data in centralized or distributed environments is important for many systems
that provide data mining, mirroring, storage, and content distribution. In its simplest form, the documents are generated,
duplicated and updated by emails and web pages. Although redundancy may increase the reliability at a level, uncontrolled
redundancy aggravates the retrieval performance and might be useless if the returned documents are obsolete. Document similarity
matching algorithms do not provide the information on the differences of documents, and file synchronization algorithms are
usually inefficient and ignore the structural and syntactic organization of documents. In this paper, we propose the S2S matching approach. The S2S matching is composed of structural and syntactic phases to compare documents. Firstly, in the structural phase, documents
are decomposed into components by its syntax and compared at the coarse level. The structural mapping processes the decomposed
documents based on its syntax without actually mapping at the word level. The structural mapping can be applied in a hierarchical
way based on the structural organization of a document. Secondly, the syntactic matching algorithm uses a heuristic look-ahead
algorithm for matching consecutive tokens with a verification patch. Our two-phase S2S matching approach provides faster results than currently available string matching algorithms.
相似文献
11.
This paper addresses the possibility of measuring perceived usability in an absolute way. It studies the impact of the nature
of the tasks performed in perceived software usability evaluation, using for this purpose the subjective evaluation of an
application’s performance via the Software Usability Measurement Inventory (SUMI). The paper reports on the post-hoc analysis
of data from a productivity study for testing the effect of changes in the graphical user interface (GUI) of a market leading
drafting application. Even though one would expect similar evaluations of an application’s usability for same releases, the
analysis reveals that the output of this subjective appreciation is context sensitive and therefore mediated by the research
design. Our study unmasked a significant interaction between the nature of the tasks used for the usability evaluation and
how users evaluate the performance of this application. This interaction challenges the concept of absolute benchmarking in
subjective usability evaluation, as some software evaluation methods aspire to provide, since subjective measurement of software
quality will be affected most likely by the nature of the testing materials used for the evaluation.
相似文献
12.
We document the influence on programming language semantics of the Platonism/formalism divide in the philosophy of mathematics.
相似文献
13.
The quality of software systems are determined in part by their optimal configurations. Optimal configurations are desired
when the software is being deployed and during its lifetime. However, initial deployment and subsequent dynamic reconfiguration
of a software system is difficult because of the interplay of many interdependent factors, including cost, time, application
state, and system resources. As the size and complexity of software systems increases, procedures (manual or automated) that
assume a static software architecture and environment are becoming untenable. We have developed a novel technique for carrying
out the deployment and reconfiguration planning processes that leverages recent advances in the field of temporal planning.
We describe a tool called Planit, which manages the deployment and reconfiguration of a software system utilizing a temporal
planner. Given a model of the structure of a software system, the network upon which the system should be hosted, and a goal
configuration, Planit will use the temporal planner to devise possible deployments of the system. Given information about
changes in the state of the system, network and a revised goal, Planit will use the temporal planner to devise possible reconfigurations
of the system. We present the results of a case study in which Planit is applied to a system consisting of various components
that communicate across an application-level overlay network.
An earlier version of this paper was presented at ICTAI’03.
相似文献
14.
We present XFlavor, a framework for providing XML representation of multimedia data. XFlavor can be used to convert multimedia
data back and forth between binary and XML representations. Compared to bitstreams, XML documents are easier to access and
manipulate, and consequently, the development of multimedia processing software is greatly facilitated, as one generic XML
parser can be used to read and write different types of data in XML form.
相似文献
15.
The complexity of group dynamics occurring in small group interactions often hinders the performance of teams. The availability
of rich multimodal information about what is going on during the meeting makes it possible to explore the possibility of providing
support to dysfunctional teams from facilitation to training sessions addressing both the individuals and the group as a whole.
A necessary step in this direction is that of capturing and understanding group dynamics. In this paper, we discuss a particular
scenario, in which meeting participants receive multimedia feedback on their relational behaviour, as a first step towards
increasing self-awareness. We describe the background and the motivation for a coding scheme for annotating meeting recordings
partially inspired by the Bales’ Interaction Process Analysis. This coding scheme was aimed at identifying suitable observable
behavioural sequences. The study is complemented with an experimental investigation on the acceptability of such a service.
相似文献
16.
Research on hybrid bionic systems (HBSs) is still in its infancy but promising results have already been achieved in laboratories.
Experiments on humans and animals show that artificial devices can be controlled by neural signals. These results suggest
that HBS technologies can be employed to restore sensorimotor functionalities in disabled and elderly people. At the same
time, HBS research raises ethical concerns related to possible exogenous and endogenous limitations to human autonomy and
freedom. The analysis of these concerns requires reflecting on the availability of scientific models accounting for key aspects
of sensorimotor coordination and plastic adaptation mechanisms in the brain.
相似文献
17.
Listening to music on personal, digital devices whilst mobile is an enjoyable, everyday activity. We explore a scheme for
exploiting this practice to immerse listeners in navigation cues. Our prototype, ONTRACK, continuously adapts audio, modifying
the spatial balance and volume to lead listeners to their target destination. First we report on an initial lab-based evaluation
that demonstrated the approach’s efficacy: users were able to complete tasks within a reasonable time and their subjective
feedback was positive. Encouraged by these results we constructed a handheld prototype. Here, we discuss this implementation
and the results of field-trials. These indicate that even with a low-fidelity realisation of the concept, users can quite
effectively navigate complicated routes.
相似文献
18.
A number of mobile applications have emerged that allow users to locate one another. However, people have expressed concerns
about the privacy implications associated with this class of software, suggesting that broad adoption may only happen to the
extent that these concerns are adequately addressed. In this article, we report on our work on P eopleF inder, an application that enables cell phone and laptop users to selectively share their locations with others (e.g. friends,
family, and colleagues). The objective of our work has been to better understand people’s attitudes and behaviors towards
privacy as they interact with such an application, and to explore technologies that empower users to more effectively and
efficiently specify their privacy preferences (or “policies”). These technologies include user interfaces for specifying rules
and auditing disclosures, as well as machine learning techniques to refine user policies based on their feedback. We present
evaluations of these technologies in the context of one laboratory study and three field studies.
相似文献
20.
A novel process to discover test case patterns is proposed. This has led to the construction of a test case patterns catalogue.
The catalogue has been analysed to estimate the potential reusability in different software applications. This has shown that
43% of system functions are generally application domain independent, whereas 57% are application domain dependent. Statistical
tests showed that the level of specialisation in software systems could be as low as 20%, which supports the direction taken
in this research to reuse test case patterns in software engineering activities, in particular, software cost estimation at
the early sages of software development.
相似文献
|