Recent advances in test automation have seen a host of new techniques for automated test generation, which traditionally has largely been a manual and expensive process. These techniques have enabled generation of much larger numbers of tests at a much reduced cost. When executed successfully, these tests enable a significant increase in our confidence in the program's correctness. However, as our ability to generate greater numbers of tests increases, we are faced with the problem of the likely high cost of executing all the tests in terms of the total execution time. This thesis presents a novel approach - clustered test execution - to address this problem. Instead of executing each test case separately, we execute parts of several tests using a single execution, which then forks into several directions as the behaviors of the tests differ. Our insight is that in a large test suite, several tests are likely to have common initial execution segments, which do not have to be executed over and over again; rather such a segment could be executed once and the execution result shared across all those tests. As an enabling technology we use the Java PathFinder(JPF) model checker, which is a popular explicit-state model checker for Java programs. Experimental results show that our clustering approach for test execution using JPF provides speed-ups over executing each test in turn from a test suite on the JPF java virtual machine. / text

This paper was made together withTechPay AB, by their request. The dissertation has been divided into two separate parts; one of which is fully theoretical, with the focus on the security requirements of a digital cash register, and how to meet these requirements. The second part covers the implementation of anAndroid-oriented Java-library,created with help from the security requirements found in the first part. The purpose of this library is to make it easier to develop a cash register that uses payment terminals from TechPay. This paper also covers different communication protocols, encryption techniques and recommendations from authorities, banks and Android. This paper also contains a small review of how users are validated in applications on the current market that handles money transactions.

Mémoire numérisé par la Direction des bibliothèques de l'Université de Montréal.

The eXtensible Access Control Markup Language (XACML) is allowing enterprises to implement a standard way of access control to their resources. Security administrators no longer need to duplicate their efforts in writing multiple policies for different resources since a XACML policy can be applied to multiple resources. Companies such as IBM, Sun Microsystems, Oracle, and Cisco are already providing integration of XACML in their products. Although the introduction of XACML has provided enterprises with a better approach of commonly realizing access control, there are still inconsistencies that policy administrators need to be aware of. This thesis identifies some of the inconsistencies in XACML today and introduces a new tool that can be used to visualize some of those inconsistencies. This new tool could be used by a policy administrator to visualize possible conflicting data among a set of policies.

Para serem caracterizados os sintomas das deficiências dos macronutrientes, de boro e de zinco na citronela, foi utilizada a técnica de subtração de cada nutriente da solução nutritiva. Deste modo, o trabalho consistiu em 9 tratamentos: completo, -N, -P, -K, -Ca, -Mg, -S, -B e -Zn. Além dos sintomas visuais foram avaliadas a produção e a composição do óleo essencial. Das plantas cultivadas com omissão de algum nutriente, somente as do tratamento -Zn não apresentaram sintomas visuais de deficiência nutricional. A produção de óleo foi muito afetada pelos tratamentos, sendo aqueles com omissão de K, de N e de S, os mais prejudicados. A composição também sofreu alterações com destaque para a redução nos teores de citronelal e geraniol nos tratamentos -K e -S respectivamente. A subtração de Mg aumentou a relação citronelal/geraniol e a quantidade de óleo obtida foi ligeiramente superior ao completo, embora as plantas tenham acusado a falta do nutriente através de sintomas visuais / not available

Thesis (Ph.D.)--Boston University. / This dissertation examines the ways changing Muslim-Christian relations and new gendered norms constitute the identities of orthodox Muslims and charismatic Christians in Java, Indonesia. The research is based on 12 months of fieldwork between 2009 and 2010 in the multi-religion city of Salatiga. Working with two middle-class Pentecostal congregations, with memberships of 400 and 150 individuals respectively, as well as two middle-class Muslim woman's Koranic sermon groups that involved about 70 households each, this research expands the ongoing discussion of gender politics and religious movements in modern pluralistic societies, and suggests we re-examine religious identities through the lens of inter-religious relations, particularly the role of women in them. The dissertation begins with ethnographic scenes where women and Christians figure prominently in Muslim-majority public rituals, in order to highlight the centrality of women and minorities in constructing religious pluralism. Chapter 1 presents a history of religious diversity in Java, and argues that over the last three decades, the children of Javanist Muslims have become brthodox Muslims, while the offspring of mainline Protestants have become born-again Christians. Chapter 2 elaborates on the transformation of Salatiga's landscape by the proliferation of worship facilities and ascendant inter-religious tensions. Building on this foundation, Chapter 3 focuses on women and neighborhood sociality. Here I argue that an unexpected outcome of recent religious change has been women's expanded public roles and a re-alliance of traditionalist and modernist Muslims in the presence of a strong Christian minority. Chapter 4 explains Muslim women's choices of embracing veiling and de-legitimizing polygamy in the context of cultural change, and demonstrates the social and political nature of the changing interpretations of religious knowledge. Chapter 5 turns to Christians' congregational lives, and illustrates the Pentecostal training of "sacrificial agency" among both men and women in order to fulfill "successful families." Finally, Chapter 6 examines the routine interactions between Muslim and born-again Christian women, and discusses their unequal social footings in Salatiga's pluralism. In conclusion, this dissertation contends that pluralism in Salatiga involves unequal power relations and dialectical negotiations between religious communities, in which gendered identities and cross-religious relations are integral components of religious subjectivity.

Quando contando apenas com o que é oferecido por linguagens orientadas a objetos, como o Java, os desenvolvedores tendem a utilizar apenas chamadas síncronas a métodos, utilizando-se de artifícios para obter comportamento assíncrono, o que comumente quebra o modelo original do sistema, acrescentando uma série de efeitos colaterais indesejados, tais como acoplamento desnecessário entre classes e construções passíveis de erros. O acoplamento desnecessário normalmente aparece quando uma classe precisa ser notificada sobre a ocorrência de eventos em outra classe na mesma pilha de chamadas em tempo de execução. Propomos uma extensão à linguagem Java para permitir a execução assíncrona de métodos, a notificação e o tratamento assíncronos de eventos ocorridos durante a execução normal do programa em classes presentes na pilha de chamadas corrente, como uma alternativa nativa, simples e que não force acoplamento adicional entre as classes envolvidas. Denominamos JavAsync à linguagem Java assim estendida. Com essa extensão, esperamos que os desenvolvedores possam utilizar comunicação assíncrona desde o início do ciclo de desenvolvimento, sem que precisem realizar modificações à estrutura original do software em desenvolvimento e sem que precisem se preocupar com threads e com o registro dos tratadores de eventos.

Yu Chun-Pong. / Thesis (M.Phil.)--Chinese University of Hong Kong, 2003. / Includes bibliographical references (leaves 60-61). / Abstracts in English and Chinese. / Abstract of this thesis entitled: --- p.i / 摘要 --- p.iii / Acknowledgements --- p.iv / Table of contents --- p.v / List of Tables --- p.vi / List of Figures --- p.vii / Chapter Chapter 1 --- Introduction --- p.1 / Chapter 1.1 --- Asynchronous design --- p.1 / Chapter 1.2 --- Java processor for contactless smart card [3] --- p.2 / Chapter 1.3 --- Motivation --- p.3 / Chapter Chapter 2 --- Asynchronous circuit design techniques --- p.5 / Chapter 2.1 --- Overview --- p.5 / Chapter 2.2 --- Handshake protocol --- p.5 / Chapter 2.3 --- Asynchronous pipeline --- p.7 / Chapter 2.4 --- Asynchronous control elements --- p.9 / Chapter Chapter 3 --- Asynchronous Java Processor --- p.15 / Chapter 3.1 --- Instruction Set --- p.15 / Chapter 3.2 --- Architecture of the java processor --- p.17 / Chapter 3.3 --- Basic building blocks of the java processor --- p.22 / Chapter 3.4 --- Token flow --- p.32 / Chapter Chapter 4 --- Results and Discussion --- p.37 / Chapter 4.1 --- Simulation Results of test programs --- p.37 / Chapter 4.2 --- Experimental result --- p.41 / Chapter 4.3 --- Future work --- p.42 / Chapter Chapter 5 --- Conclusion --- p.45 / Appendix --- p.47 / Chip micrograph for the java processor core --- p.47 / Pin assignment of the java processor --- p.48 / Schematic of the java processor --- p.52 / Schematic of the decoder --- p.54 / Schematic of the Stage2 of the java processor --- p.55 / Schematic of the stack --- p.56 / Schematic of the block of the local variables --- p.57 / Schematic of the 16-bit self-timed adder --- p.58 / The schematic and the layout of the memory cell --- p.59 / Reference --- p.60

Cílem práce je zobrazit vývoj webových aplikací na platformě Java, představit javovské webové frameworky Struts, WebWork, Velocity a Tapestry, vytvořit metodiku pro porovnání těchto frameworků a porovnat je podle metodiky tak, aby si čtenář mohl zvolit framework, který bude jeho aplikaci nejlépe vyhovovat. První část, která končí kapitolou číslo tři, popisuje vývoj webových aplikací od počátku až k javovským webovým frameworkům a představí zkoumané frameworky. Pro konkrétní představu jsou zde popsány programy naprogramované ve všech frameworcích. Ve druhé části je vytvořena metodika a frameworky jsou podle ní porovnány. Na závěr jsou shrnuta pozitiva i negativa daných frameworků.

The Real-time Specification of Java (RTSJ) is an intention to introduce Java as a language for developing real-time system. However, the complexity of their development and a non-trivial programming model of RTSJ with its manual memory management often lead to programming errors. To mitigate the development of RTSJ systems it would be beneficial to provide an internal domain-specific language (DSL) extending the Java language which would allow to develop the systems in more intuitive and safer way. However, it is needed to find compromise between solution's power and level of usability, because this two attributes go often against each other. One possible way of DSLs creation concerns the Meta-Programming System (MPS). It allows to develop new domain-specific languages and corresponding projectional editors enabling different views on code. This thesis proposes a design and implementation of the DSL on the top of the MPS platform and corresponding code generator enabling development of RTSJ systems. Furthermore, the thesis provides a simple case-study to evaluate a proposed DSL. Additionally, the thesis assesses the suitability of MPS as a DSL-development platform.