Automated specification-based testing of graphical user interfaces

Tese de doutoramento. Engenharia Electrónica e de Computadores. 2006. Faculdade de Engenharia. Universidade do Porto, Departamento de Informática, Escola de Engenharia. Universidade do Minh

Affective Computing

This book provides an overview of state of the art research in Affective Computing. It presents new ideas, original results and practical experiences in this increasingly important research field. The book consists of 23 chapters categorized into four sections. Since one of the most important means of human communication is facial expression, the first section of this book (Chapters 1 to 7) presents a research on synthesis and recognition of facial expressions. Given that we not only use the face but also body movements to express ourselves, in the second section (Chapters 8 to 11) we present a research on perception and generation of emotional expressions by using full-body motions. The third section of the book (Chapters 12 to 16) presents computational models on emotion, as well as findings from neuroscience research. In the last section of the book (Chapters 17 to 22) we present applications related to affective computing

Software maintenance by program transformation in a wide spectrum language

This thesis addresses the software maintenance problem of extracting high-level designs from code. The investigated solution is to use a mathematically-based formal program transformation system. The resulting tool, the Maintainer's Assistant, is based on Ward's [177] WSL (wide spectrum language) and method of proving program equivalence. The problems addressed include: how to reverse engineer from code alone (the only reliable source of information about a program [158]), how to express program transformations within the system, what kinds of transformations should be incorporated, how to make the tool simple to use, how to perform abstraction and how to create a tool suitable for use with large programs. Using the Maintainer's Assistant, the program code is automatically translated into WSL and the transformations, although tested for valid applicability by the system, are interactively applied by the user. Notable features include a mathematical simplifier, a large flexible transformation catalogue and, significantly, the use of an extension of WSL, A4etaWSL, for representing the transformations. MetaWSL expands WSL by incorporating a variety of extensions, including: program editing statements, pattern matching and template filling functions, symbolic mathematics and logic functions, statements for moving within the program’s syntax tree and statements for repeating an operation at each node of the tree. Using MetaWSL, 80% of the 601 transformations can be expressed in less than 20 program statements. The Maintainer's Assistant has been used on a wide variety of examples of up to several thousand lines, including commercial software written in IBM 370 assembler. It has been possible to transform initially unstructured programs into a hierarchy of procedures, facilitating subsequent design recovery. These results show that program transformation is a viable method of renovating old (370 assembler) code in a cost elective way, and that MetaWSL provides an effective basis for clearly and concisely expressing the required transformations

Proceedings of the 6th international conference on disability, virtual reality and associated technologies (ICDVRAT 2006)

The proceedings of the conferenc

Proceedings of the 3rd International Workshop on Formal Aspects in Security and Trust (FAST2005)

The present report contains the pre-proceedings of the third international Workshop on Formal Aspects in Security and Trust (FAST2005), held in Newcastle upon Tyne, 18-19 July 2005. FAST is an event affliated with the Formal Methods 2005 Congress (FM05). The third international Workshop on Formal Aspects in Security and Trust (FAST2005) aims at continuing the successful effort of the previous two FAST workshop editions for fostering the cooperation among researchers in the areas of security and trust. The new challenges offered by the so-called ambient intelligence space, as a future paradigm in the information society, demand for a coherent and rigorous framework of concepts, tools and methodologies to provide user\u27s trust&confidence on the underlying communication/interaction infrastructure. It is necessary to address issues relating to both guaranteeing security of the infrastructure and the perception of the infrastructure being secure. In addition, user confidence on what is happening must be enhanced by developing trust models effective but also easily comprehensible and manageable by users

Formal Aspects in Security and Trust

his book constitutes the thoroughly refereed post-proceedings of the Third International Workshop on Formal Aspects in Security and Trust, FAST 2005, held in Newcastle upon Tyne, UK in July 2005. The 17 revised papers presented together with the extended abstract of 1 invited paper were carefully reviewed and selected from 37 submissions. The papers focus on formal aspects in security and trust policy models, security protocol design and analysis, formal models of trust and reputation, logics for security and trust, distributed trust management systems, trust-based reasoning, digital assets protection, data protection, privacy and ID issues, information flow analysis, language-based security, security and trust aspects in ubiquitous computing, validation/analysis tools, web service security/trust/privacy, GRID security, security risk assessment, and case studies

A Comparison of Behavioural Development of Elephant Calves in Captivity and in the Wild: Implications for Welfare

Compromised welfare and wellbeing of elephants (Loxodonta africana and Elephas maximus) in captive facilities are significant and global problems. The period between birth and two years old is crucial for calf survival and social and environmental learning. Behaviour and developmental processes among captive elephant calves in these first years were compared with those seen in wild calves. Wild elephants calves develop within a complex, varied social context and provide one reference for normal patterns of development. Such comparisons enable insights into welfare at captive facilities. Eleven captive elephant calves born at three UK facilities were studied from birth to 18 months (AsianN=6; AfricanN=5). Older calves (AsianN=2; AfricanN=2) were also sampled up to 3.5 years; making a total of 15 calves studied from 2009 to 2014. Due to the small sample size, the 11 younger calves were also discussed as individual case studies. By 2017, only two of these case study calves were both alive and not orphaned. Three additional calves (AsianN=1; AfricanN=2) died on their day of birth and were not sampled. This small sample highlights the ongoing lack of self-sustaining populations of captive elephants. This thesis collated systematic behavioural observations on captive calves across 373 days (483.5hrs). Calf maintenance activities (feeding, resting, moving), associations with mother and others, interactions and calf play were compared with behavioural observations of wild AsianN=101 (74hrs, Uda Walawe, Sri Lanka) and wild AfricanN=130 (252hrs, Amboseli, Kenya) calves from ~birth to five yrs. Mothers’ (captive: AsianN=4; AfricanN=4; wild: AsianN=90; AfricanN=105) activities were also recorded to explore synchrony with calves. Captive calves raised by their mothers had similar activity budgets to those seen in the wild. Expected age-related declines in suckling were found in captivity. However, captive calves were more independent than wild calves for their age in distance from mother and spent significantly more time in play. A Decision Tree for whether to breed elephants in captivity was developed; benefits that a calf potentially brings to companions, e.g. multi-generational matrilineal groups, enabling social bonding and reducing abnormal behaviours, were considered against space required for families to grow and divide naturally over time, as well as ensuring that captive-bred males are socially sustained. It was recommended that facilities invest in future enclosure/housing designs which permit: free-access to other elephants; 24hr trickle feeding; juvenile males allowed to stay with their maternal group for longer, encouraging learning opportunities and further retaining age-structure/composition. Conversely, facilities unwilling to house a male or provide appropriate group size/composition are recommended to cease breeding