1,721,051 research outputs found
Formal Methods in Testing Software Architectures
No full textSAs provide a high-level model of large, complex systems using suitable abstractions of the system components and their interactions. SA dynamic descriptions can be usefully employed in testing and analysis. We describe here an approach for SA-based conformance testing: architectural tests are selected from a Labelled Transition System (LTS) representing the SA behavior and are then refined into concrete tests to be executed on the implemented system. To identify the test sequences, we derive abstract views of the LTS, called the ALTSs, to focus on relevant classes of architectural behaviors and hide away uninteresting interactions. The SA description of a Collaborative Writing system is used as an example of application. We also briefly discuss the relation of our approach with some recent research in exploiting the standard UML notation as an Architectural Description Language, and in conformance testing of reactive systems
A Geo Time Authentication SystemTrust Management
No full textIn this paper we present Geo Time Authentication (GTA), a prototype system that provides authenticity and integrity of cultural assets information. It has been conceived in the context of the CUSPIS project and afterwards it has been generalized to the context of assets and goods where problems of counterfeiting and thefts are prevalent. To prevent these crimes GTA adds to the usual asset information an additional tag that contains Galileo geo time information and it extends digital certificates with the notion of geographical areas for protecting the origin and the authenticity of the assets. Moreover, GTA makes available several services to protect the assets transport. © 2007 International Federation for Information Processing
Going Beyond Counting First Authors in Author Co-citation Analysis
Full text linkThe present study examines one of the fundamental aspects of author co-citation analysis (ACA) - the way co-citation
counts are defined. Co-citation counting provides the data on which all subsequent statistical analyses and mappings
are based, and we compare ACA results based on two different types of co-citation counting - the traditional type that
only counts the first one among a cited work's authors on the one hand and a non-traditional type that takes into
account the first 5 authors of a cited work on the other hand. Results indicate that the picture produced through this non-traditional author co-citation counting contains more coherent author groups and is therefore considerably clearer. However, this picture represents fewer specialties in the research field being studied than that produced through the traditional first-author co-citation counting when the same number of top-ranked authors is selected and analyzed. Reasons for these effects are discussed
Variations on the Author
Full text link“Variations on the Author” discusses two of Eduardo Coutinho’s recent films (Um Dia na Vida, from 2010, and Últimas Conversas, posthumously released in 2015) and their contribution to the general question of documentary authorship. The director’s filmography is characterized by a consistent yet self-effacing form of authorial self-inscription: Coutinho often features as an interviewer that rather than express opinions propels discourses; an interviewer that is good at listening. This mode of self-inscription characterizes him as an author who is not expressive but who is nonetheless markedly present on the screen. In Um Dia na Vida, however, Coutinho is completely absent form the image, while Últimas Conversas, on the contrary, includes a confessional prologue that moves the director from the margins to the center of his films. This article examines the ways in which these works stand out in the filmography of a director who offers new insights into the notion of cinematic authorship
Model-based performance prediction in software development: a survey
No full textOver the last decade, a lot of research has been directed toward integrating performance analysis into the software
development process. Traditional software development methods focus on software correctness, introducing performance issues later
in the development process. This approach does not take into account the fact that performance problems may require considerable
changes in design, for example, at the software architecture level, or even worse at the requirement analysis level. Several approaches
were proposed in order to address early software performance analysis. Although some of them have been successfully applied, we
are still far from seeing performance analysis integrated into ordinary software development. In this paper, we present a
comprehensive review of recent research in the field of model-based performance prediction at software development time in order to
assess the maturity of the field and point out promising research directions
On using Queueing Network Models with finite capacity queues for Software Architectures performance prediction
No full text- …
