979 resultados para Card catalogs
Resumo:
Part III. Examines the mathematics behind common card games. Aim of the card game Happy Families; Format of the card game Old Maid; Instruction for playing the card game Rummy.
Resumo:
12 minute solo within an hour-long work, performed 18 - 22 February 2004 at the Dancehouse, Melbourne
Resumo:
The issue of credit card debt has become an increasing concern in recent years. In Australia, for example, there is currently $42.5 billion worth of outstanding debt on credit cards, with $30 billion (over 70 per cent) bearing interest. Further, in 2001, Visa reported that 32 per cent of consumers had not paid their card off in the previous 12 months, which suggests that interest-bearing debt in Australia is held by approximately only 113 of credit card borrowers. An important element of credit card marketing is the use of psychological manipulations to encourage consumers to take-up credit. In this article, we examine the use of language and imagery in unsolicited credit card limit increase offers, and how these might influence consumers' decisions to increase their credit card limit. The analysis found that the use of terms that focused on the benefits of credit card use, such as "choice", "freedom", and "peace of mind" were used consistently to convince consumers to increase their credit card limit, whereas the use the of terms that could be considered more pragmatic and with direct reference to the nature of the product, such as "debt", "repayment" and "loan", were rarely used. Similarly, the use of colour, text changes, and images, were used which may have an influence over a consumer's ability to rationally consider whether the increase is appropriate for them. The paper concludes by recommending that government and representative bodies need to take into account the psychological manipulations used by credit card providers when developing consumer policy and codes of ethics.
Resumo:
It is argued that teachers will encounter many changes in teaching approaches and possibly in teaching materials resulting from the development and implementation of the national curriculum. With the new national curriculum, there will be new textbooks which will be 'new' as textbooks, but not necessarily new in mathematical content or instructional approaches. Two critical questions for these textbooks (or any textbooks) are: How good are these textbooks, as textbooks? How well do these textbooks fit whatever the 'new' curriculum is? Other questions to consider are: Is the content 'new' and/or substantial? Is the material 'fair' and representative? Elements of a good textbook are discussed including that it should have good design and provide good definitions, worked examples and counter-examples.
Resumo:
The formation of Natural Resource Management Boards in South Australia provided a robust and integrated, and well resourced, regional landscape planning quasi-‐authority in South Australia that has had major beneficial outcomes to several SA regions in being able to better co-‐ordinate long term and creative public and private land management strategies, as well as enable several unique research projects to be tackled that would not otherwise under traditional fragmented state government agency configurations and relationships.
Resumo:
Background:
Methods:
A Research Working Group (RWG) drawn from experts around Australia collaborated to determine key indicators, assess available datasets, and the metrics which should be used to inform grades for each indicator and factors to consider when weighting the data. The RWG then met to evaluate the synthesized data to assign a grade to each indicator.
Results:
Overall Physical Activity Levels were assigned a grade of D-. Other physical activity behaviors were also graded as less than average (D to D-), while Organized Sport and Physical Activity Participation was assigned a grade of B-. The nation performed better for settings and sources of influence and Government Strategies and Investments (A- to a C). Four incompletes were assigned due to a lack of representative quality data.
Conclusions:
Evidence suggests that physical activity levels of Australian children remain very low, despite moderately supportive social, environmental and regulatory environments. There are clear gaps in the research which need to be filled and consistent data collection methods need to be put into place.
Further observations on smart-card-based password-authenticated key agreement in distributed systems
Resumo:
This paper initiates the study of two specific security threats on smart-card-based password authentication in distributed systems. Smart-card-based password authentication is one of the most commonly used security mechanisms to determine the identity of a remote client, who must hold a valid smart card and the corresponding password to carry out a successful authentication with the server. The authentication is usually integrated with a key establishment protocol and yields smart-card-based password-authenticated key agreement. Using two recently proposed protocols as case studies, we demonstrate two new types of adversaries with smart card: 1) adversaries with pre-computed data stored in the smart card, and 2) adversaries with different data (with respect to different time slots) stored in the smart card. These threats, though realistic in distributed systems, have never been studied in the literature. In addition to point out the vulnerabilities, we propose the countermeasures to thwart the security threats and secure the protocols. © 2013 IEEE.
Resumo:
This research analyzes and compares the attractiveness of the Brazilian and Mexican credit card markets from a financial firm’s perspective. The market dynamics in Latin America’s two economic powerhouses are fleshed out with qualitative and quantitative data, using a strategic framework to structure the analysis. Since its adoption by both countries in 1956, credit card usage has experienced many years of double digit growth. However, penetration levels remain low compared with most developed countries. Brazil has a more developed credit card infrastructure, with more potential profit, and issuers might face fewer competitive challenges. Alternatively, Mexico, is witnessing a more favorable economy, a friendlier business and regulatory environment, combined with fewer financial products that compete with the credit card. Therefore, this paper concludes that Brazil and Mexico both offer market opportunities for credit card companies that can navigate the different technological, demographic, macroeconomic, and regulatory shifts in each country.
Resumo:
Although formal methods can dramatically increase the quality of software systems, they have not widely been adopted in software industry. Many software companies have the perception that formal methods are not cost-effective cause they are plenty of mathematical symbols that are difficult for non-experts to assimilate. The Java Modelling Language (short for JML) Section 3.3 is an academic initiative towards the development of a common formal specification language for Java programs, and the implementation of tools to check program correctness. This master thesis work shows how JML based formal methods can be used to formally develop a privacy sensitive Java application. This is a smart card application for managing medical appointments. The application is named HealthCard. We follow the software development strategy introduced by João Pestana, presented in Section 3.4. Our work influenced the development of this strategy by providing hands-on insight on challenges related to development of a privacy sensitive application in Java. Pestana’s strategy is based on a three-step evolution strategy of software specifications, from informal ones, through semiformal ones, to JML formal specifications. We further prove that this strategy can be automated by implementing a tool that generates JML formal specifications from a welldefined subset of informal software specifications. Hence, our work proves that JML-based formal methods techniques are cost-effective, and that they can be made popular in software industry. Although formal methods are not popular in many software development companies, we endeavour to integrate formal methods to general software practices. We hope our work can contribute to a better acceptance of mathematical based formalisms and tools used by software engineers. The structure of this document is as follows. In Section 2, we describe the preliminaries of this thesis work. We make an introduction to the application for managing medical applications we have implemented. We also describe the technologies used in the development of the application. This section further illustrates the Java Card Remote Method Invocation communication model used in the medical application for the client and server applications. Section 3 introduces software correctness, including the design by contract and the concept of contract in JML. Section 4 presents the design structure of the application. Section 5 shows the implementation of the HealthCard. Section 6 describes how the HealthCard is verified and validated using JML formal methods tools. Section 7 includes some metrics of the HealthCard implementation and specification. Section 8 presents a short example of how a client-side of a smart card application can be implemented while respecting formal specifications. Section 9 describes a prototype tools to generate JML formal specifications from informal specifications automatically. Section 10 describes some challenges and main ideas came acrorss during the development of the HealthCard. The full formal specification and implementation of the HealthCard smart card application presented in this document can be reached at https://sourceforge.net/projects/healthcard/.
Resumo:
COSTA, Umberto Souza; MOREIRA, Anamaria Martins; MUSICANTE, Matin A.; SOUZA NETO, Plácido A. JCML: A specification language for the runtime verification of Java Card programs. Science of Computer Programming. [S.l]: [s.n], 2010.
Resumo:
COSTA, Umberto Souza da; MOREIRA, Anamaria Martins; MUSICANTE, Martin A. Specification and Runtime Verification of Java Card Programs. Electronic Notes in Theoretical Computer Science. [S.l:s.n], 2009.
