text:
@inproceedings{10.5555/581506.581508,
author = {Singh, Shawren and Kotz\'{e}, Paula},
title = {Towards a Framework for E-Commerce Usability},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {E-Commerce will most probably reshape the South African business world, as is happening in the rest of the world. Government organizations, large corporations, medium and small business, are all now actively trying to establish a presence of some kind on the World Wide Web. This paper describes research into establishing the use of human-computer interaction principles in the development of e-commerce applications in the South African context. It also describes the initial outcomes of an ongoing study.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {2–10},
numpages = {9},
keywords = {e-commerce, human-computer interaction, usability},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581509,
author = {Wesson, Janet and Van Greunen, Darelle},
title = {Visualisation of Usability Data: Measuring Task Efficiency},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Usability testing is a method of evaluating the usability of a given product in a given environment. Formal usability testing is an empirical method that requires the design of a formal usability experiment that is undertaken under controlled conditions in a usability laboratory. Formal usability testing produces actual measures of usability in terms of task effectiveness and efficiency. Existing software tools for visualising the results of formal usability testing are, however, limited and inadequate. This paper will discuss the typical components of such usability data and the design of a multiple view visualisation system to effectively view task efficiency that was based on recent guidelines for multiple view systems.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {11–18},
numpages = {8},
keywords = {multiple views, information visualisation, design guidelines, user interface},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581510,
author = {van Belle, Jean-Paul},
title = {Towards a Syntactic Signature for Domain Models: Proposed Descriptive Metrics for Visualizing the Entity Fan-out Frequency Distribution},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The main objective of this paper is to find a minimal set of measures that allow the immediate, intuitive characterisation and visualization of the syntactic structure of models covering a particular application domain. The measures are validated against a test bed of twenty-two generic enterprise models. Traditional system engineering metrics were not very useful in characterizing or differentiating the different models. Instead, it was found that the frequency distribution of the entity fan-outs for each model provided a distinct model signature. Although the characteristics of these distributions are visually immediately apparent, traditional descriptive statistics for frequency distributions fail to capture the essential shape of fan-out distributions. This is due to their extreme skewness and the presence of extreme outliers. This paper proposes four summary statistics to describe the fan-out distributions, thus providing a compact and intuitive signature for a model: one categorical classification ('waves' and 'slides'), and three numeric metrics namely the harmonic mean fan-out (to replace the arithmetic mean), a smoothness/bumpiness value and a shape curvature coefficient.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {19–29},
numpages = {11},
keywords = {model complexity, entity fan-out distribution, model analysis, enterprise models, modelling, metrics, case measures},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581511,
author = {van Biljon, Judy and de Kock, Estelle and Renaud, Karen},
title = {Zazu: Investigating the Differences between Experts and Novices in Using an Advisory Support Tool},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Curriculum planning is undertaken by University students at least once a year. Some Universities allow students to study part-time and to make up their degree in successive years by accumulating a few modules each year. The curriculum-planning process becomes far more complicated in this case since students can enrol for modules at different levels concurrently. Exacerbating factors are phased-out modules, complicated module requirements and inexperienced advising staff. When these factors are taken into account the planning process becomes far more error-prone.A prototype advisor support tool, named Zazu, was developed to address the problems related to paper-based advising. In evaluating the tool a marked difference between the user-satisfaction of expert and novice advisors emerged. This paper discusses the differences between experts and novices in using the advisory support tool, and draws conclusions about how best to structure user interfaces for each advisor category based on the results obtained from the Zazu study.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {30–43},
numpages = {14},
keywords = {experts vs novices, student advice, advisory tool, user interface},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581512,
author = {Olson, Gary M. and Teasley, Stephanie and Bietz, Matthew J. and Cogburn, Derrick L.},
title = {Collaboratories to Support Distributed Science: The Example of International HIV/AIDS Research},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The use of collaborative technologies to support geographically distributed scientific research (or collaboratories) is gaining wide acceptance in many parts of the developed world. Such collaboratories hold great promise for international cooperation in critical areas of scientific research, such as HIV/AIDS. We have extensive experience with the design, development, deployment and evaluation of such collaboratories in a number of areas of science and engineering. We have identified a number of critical success factors, and discuss three in particular: collaboration readiness, collaboration infrastructure readiness, and collaboration technology readiness. We have recently begun the baseline assessment of two collaboratory opportunities for international HIV/AIDS collaboration, one in Botswana and one in Durban, South Africa. We present our preliminary assessment of the prospects and challenges for developing these collaboratories.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {44–51},
numpages = {8},
keywords = {collaboratories, HIV/AIDS, collaboration readiness, computer supported cooperative work, international collaboration},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581513,
author = {Cogburn, Derrick L. and Zhang, Lingling and Khothule, Mpaleng},
title = {Going Global, Locally: The Socio-Technical Influences on Performance in Distributed Collaborative Learning Teams},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {With the increasing use of distributed knowledge work in a range of industrial, scientific, and organizational environments, understanding how to support such work has become increasingly important. From previous field and laboratory studies, we know that a range of socio-technical factors influence performance and satisfaction in distributed teams. Among the most important of these factors are trust, leadership and the level of media richness in the computer-mediated communications environment. We also know that specific socio-technical interventions can help to build trust in CMC environments. However, many of these studies have not taken into consideration sufficiently the impact of cross-national cultural factors on distributed teams. This paper reports the preliminary analysis of a thirteen week qualitative and quantitative quasi-experimental field study of distributed collaborative learning teams, consisting of 35 post-graduate students from four research universities, two in the United States and two in South Africa. These teams completed a series of unstructured strategy and decision-making tasks, using a suite of rich-media CMC tools. Data are reported from participant surveys, narrative evaluation essays, and observations.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {52–64},
numpages = {13},
keywords = {cross-cultural learning, long-distance collaboration, trust, leadership, globalisation, collaboratories},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581514,
author = {Alexander, Patricia M},
title = {Teamwork, Time, Trust and Information},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This paper discusses the concepts of time, trust and information in relationship to virtual teams (also known as dispersed collaborative teams). Students were allowed to do their collaborative work in various settings including working as a virtual team communicating entirely via e-mail. A pluralist research approach was adopted in which questionnaires were used to collect quantitative data and recordings were made of both e-mail and f-to-f discussions and these all provided data to be interpreted. Thus, an interpretive research strategy was used. Habermas' Theory of Communicative Action was used in the in-depth analysis of the discourse that took place in order to compare the type of collaboration that occurred in the different types of team. It is important to note that the action research cannot be considered to have 'been successful' but lessons were nevertheless learned. A relationship was noted between the amount and kind of information that can be shared, the time taken to share this information and the nature of the relationships within the teams. Although the action research was carried out in an educational setting, and hence was focussed on collaborative learning, it has relevance in virtual organisations of all types.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {65–74},
numpages = {10},
keywords = {theory of communicative action, collaborative work, virtual teams, information systems education},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581516,
author = {Malloy, Brian A. and Power, James F. and Waldron, John T.},
title = {Applying Software Engineering Techniques to Parser Design: The Development of a C<sup>#</sup> Parser},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {In this paper we describe the development of a parser for the C# programming language. We outline the development process used, detail its application to the development of a C# parser and present a number of metrics that describe the parser's evolution. This paper presents and reinforces an argument for the application of software engineering techniques in the area of parser design. The development of a parser for the C# programming language is in itself important to software engineering, since parsers form the basis for tools such as metrics generators, refactoring tools, pretty-printers and reverse engineering tools.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {75–82},
numpages = {8},
keywords = {parser design, grammars, C# programming language, software engineering},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581517,
author = {Eloff, Jacques},
title = {Software Restructuring: Implementing a Code Abstraction Transformation},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Software restructuring is a form of perfective maintenance that modifies the structure of a program's source code. Its goal is increased maintainability to better facilitate other maintenance activities, such as adding new functionality to, or correcting previously undetected errors within a software system. Changes to the structure are introduced through the application of transformations. Manually transforming the source code may introduce undesirable as well as undetectable changes in the system's behaviour. It is very difficult to ensure that manual restructuring preserves functionality and guaranteeing it is almost impossible. The problems associated with manual restructuring can be addressed by using a restructuring tool to automatically apply transformations. The majority of restructuring tools apply transformations by manipulating abstract program representations and specify the conditions of the transformation in terms of the representation structure. The context entity graph as program representation was developed to support specific language constructs, but can be adapted to support a variety of programming languages. The implementation of a code abstraction transformation in terms of this structure is examined and various improvements are also suggested.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {83–92},
numpages = {10},
keywords = {program representation, software maintenance},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581519,
author = {Taylor, Susanne and Vorster, Johan and Van Der Wal, Ruurd},
title = {The Feasibility of Using the World Wide Web to Authenticate Higher Education Qualifications Issued by Universities and Technikons},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {There is evidence of a growing concern regarding the authenticity of qualifications presented at interviews. Today's computer software makes it simple to edit documents, thereby allowing falsification of information by the unscrupulous. The use of sophisticated document scanners, printers and copiers further complicates the issue. The research revolved around an investigation of the need for authentication of education qualifications and the establishment of the feasibility of doing this by using information technology to allow for efficient and effective verification that an education qualification was attained that the results were accurately reflected. The research concluded that there is a growing incidence of and concern regarding qualification fraud, that there was a need for authentication of qualifications by Human Resource practitioners as part of the recruitment process and presented a model that met all the research objectives - an innovative model deemed to offer an efficient, effective and feasible technology solution to the problem of qualification fraud in South Africa},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {93–100},
numpages = {8},
keywords = {authentication, human resources practices, qualification fraud},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581521,
author = {Ng'Ambi, Dick},
title = {Pre-Empting User Questions through Anticipation: Data Mining FAQ Lists},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {In this paper we describe the use of data mining techniques on frequently referenced questions (FRQ) to predict the user's 'next' question with the view to pre-empting the question using proactive response. Relationships and patterns hidden in frequently asked questions (FAQ) lists, once discovered, can be used to anticipate user questions and enrich the questioning engagement. A prototype, dynamic Intelligent Handler of Frequently Asked Questions, has been developed to help predict user questions through knowledge discovery from FAQ lists. This paper reports on the motivation for this work and describes the question prediction technique. FAQ lists from the ITCS (Information Technology and Computing Services) help desk of the University of Cape Town are used to illustrate the technique.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {101–109},
numpages = {9},
keywords = {associative rule, data mining, dynamic FAQ lists, intelligent frequently asked questions, pre-empting},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581522,
author = {Lutu, Patricia E. N.},
title = {An Integrated Approach for Scaling up Classification and Prediction Algorithms for Data Mining},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Classification and prediction algorithms for machine learning typically require all training data to be resident in memory during decision tree construction. Typically, a flat file is created from database or data warehouse data and loaded into memory for processing. This severely limits the scalability of these algorithms to practical data mining tasks. Some attempts have been made by researchers to implement disk-based algorithms which can handle much larger training sets. Both approaches suffer from three serious limitations. The first limitation is that a significant amount of the original data must be duplicated on disk. The second limitation is that these algorithms are unable to utilize the computational capabilities of the data warehouse or database system. The computation of sums, counts and averages are some of the operations that database / data warehouse systems can do very efficiently. The third limitation is that these algorithms produce very inflexible decision trees which cannot be manipulated by the analyst. This is because they fail to take advantage of those features of data cube technology that enables analysts to view data at different levels of abstraction. This paper proposes a data mining approach that removes the need to copy data from a data warehouse or database. The approach also facilitates On-line Analytical Mining (OLAM) as it integrates database and data warehouse queries with decision tree construction.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {110–117},
numpages = {8},
keywords = {classification, classification trees, data mining, decision tree induction, knowledge discovery in databases, machine learning, prediction, regression trees},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581524,
author = {Padayachee, Keshnee},
title = {An Interpretive Study of Software Risk Management Perspectives},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This research proposes a framework for a field investigation of risk management in the context of a particular software development organization. It was experimentally tested within several companies. This framework was designed to provide an understanding of software development risk phenomena from a project manager's perspective and to give an indication of how this perspective affects their perception. This study can be used as a precursor to improving research into the creation of new software risk management frameworks.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {118–127},
numpages = {10},
keywords = {phenomenological research, software risk management, software risks, interpretive research},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581525,
author = {Addison, Tom and Vallabh, Seema},
title = {Controlling Software Project Risks: An Empirical Study of Methods Used by Experienced Project Managers},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The failure rate of software projects has been proven to be very high, and the incidence of failure is becoming worse as more companies venture into software development. Risk management is a collection of methods aimed at minimising or reducing the effects of project failure. This research report has focused on experienced project manager's perceptions of software project risks and controls. It reports on the more significant risks and controls that are utilised to reduce the occurrence of the risk factors, or minimise the impact of various risks. Risk factors involved in software projects along with controls to mitigate these factors were identified in the literature. These were then used in an empirical study to determine their importance and frequency of occurrence. The effectiveness of various controls to reduce the occurrence of risk factors was also identified and discussed. Experienced project managers were found to use certain controls more than inexperienced project managers, particularly 'assign responsibilities to team members' and 'stabilise requirements and specifications'.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {128–140},
numpages = {13},
keywords = {control methods, risks, management},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581526,
author = {Bierman, Elmarie and Cloete, Elsabe},
title = {Classification of Malicious Host Threats in Mobile Agent Computing},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Full-scale adoption of mobile agent technology in untrustworthy network environments, such as the Internet, has been delayed by several security complexities [Montanari, 2001]. Presently, there is a large array of security issues and sub-issues within mobile agent computing that makes it tough to distinguish between different types of problems, and therefore also interfere with the definition of suitable solutions. Literature addressing the full range of problems is limited and mostly discusses single security threats or subsets of security problems and their possible solutions. The purpose of this paper is to analyse the different security threats that can possibly be imposed on agents by malicious hosts, and then provide a classification of these threats before we describe the current solution approaches that are implemented to address the identified problems. By providing such a classification we were able to identify specific gaps in current research efforts, and enable researchers to systematically focus their attention on different classes of solutions to remedy these threats.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {141–148},
numpages = {8},
keywords = {mobile agents, threats classification, malicious hosts, computer networks, security},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581527,
author = {Botha, Martin and von Solms, Rossouw and Perry, Kent and Loubser, Edwin and Yamoyany, George},
title = {The Utilization of Artificial Intelligence in a Hybrid Intrusion Detection System},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Computer security, and intrusion detection in particular, have become increasingly important in today's business environment, to ensure safe and trusted commerce between business partners as well as effective organisational functioning. Various approaches to intrusion detection are currently being utilized, but unfortunately in practice these approaches are relatively ineffective and inefficient. New means and ways that will minimize these shortcomings must, therefore, continuously be researched and defined. This paper will propose a proactive and dynamic model, based on trend analysis, fuzzy logic and neural networks that could be utilized to minimise and control intrusion in an organisation's computer system.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {149–155},
numpages = {7},
keywords = {fuzzy logic, intrusion detection, intrusion detection systems, neural network, pattern recognition},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581529,
author = {Leonard, Awie},
title = {Enabling End Users to Be More Efficient during Systems Development},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This article introduces a model of three maturity levels, which help managers to evaluate end user involvement during systems development. This model is based on research done in terms of how relationships between IT departments and end users are constructed. The value of the three levels lies therein that it gives the IT department the advantage of understanding and supporting the end user in a more effective way during systems development. Furthermore, it gives management on both the IT and business side the ability to establish training needs for end users and IT professionals of software project teams. End users on the other hand, who are aware of their level of maturity, could play a more efficient role during the systems development process.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {156–162},
numpages = {7},
keywords = {relationship management, relationships, project management, end user involvement, quality assurance, soft issues, end users, systems development, maturity-levels},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581530,
author = {Charlesworth, Matthew and Sewry, David A},
title = {Ethical Issues in Enabling Information Technologies},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This paper examines some of the ethical issues within Information Systems, as well as how they are being dealt with at present in official Curricula recommendations. Building on previous work, the authors update a suggestion on where within the curriculum case studies highlighting ethical issues within Information Systems, may be used. The authors identify areas within the curriculum within which more work needs to be performed.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {163–171},
numpages = {9},
keywords = {curriculum, ethics, professionalism, case studies},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581531,
author = {P\"{o}yry, P\"{a}ivi and Pelto-Aho, Kirsi and Puustj\"{a}rvi, Juha},
title = {The Role of Metadata in the CUBER System},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The goal of the CUBER-project is to develop a system that supports learners in searching higher education courses from European universities. The metadata elements attached to course descriptions play a central role in the system. However, the process of specifying the appropriate metadata elements is problematic: the elements should be thorough enough to allow a wide range of searches, and on the other hand, entering the elements should not overly burden the course provider. The metadata specification of CUBER is based on the emerging LOM standard of IEEE, but CUBER has introduced some modifications to the original LOM schema. Nevertheless, special attention was paid to making the CUBER metadata conform to the LOM standard for the interoperability issues. In this paper, the metadata model introduced in the CUBER project is presented. In particular, the recognized metadata requirements are analysed, and the relationships of the developed model to other relevant projects and standardization activities are discussed.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {172–178},
numpages = {7},
keywords = {e-learning, searching courses in the web, virtual university, metadata specification},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581533,
author = {van der Poll, John A. and Kotz\'{e}, Paula},
title = {What Design Heuristics May Enhance the Utility of a Formal Specification?},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {General design heuristics are fairly common in the field of software engineering. Although formal specification can be seen as a subsection of software engineering, design heuristics for constructing a formal specification have been relatively rare. This paper examines a number of formal specifications written in Z as well as some design heuristics from software engineering and areas of general design, upon which we propose ten design heuristics that may be used in drawing up a formal specification. It then illustrates the utility of these heuristics by constructing a specification based on these guidelines.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {179–194},
numpages = {16},
keywords = {formal specification, primitives, Z, set theory, heuristics, OTTER, automated reasoning},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581534,
author = {Bull, Dirk and de Villiers, Pieter},
title = {Using SPIN to Verify Protocols at the Implementation Level},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {One way to improve the reliability of reactive systems is to use formal development methods. Although powerful techniques exist for verifying specifications, a remaining problem is to show that an implementation satisfies its specification.In this paper we describe a development method for improving the reliability of reactive systems, the main idea being to structure specifications as transition systems. In this way flow of control is formally separated from data manipulation which makes it possible to use a standard verification technique to check control flow at the implementation level. At the same time testing is simplified significantly. The alternating bit protocol is used to explain the proposed method. In addition, an implementation of the TCP protocol is discussed to illustrate that the technique is also applicable to reactive systems of realistic size and complexity.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {195–204},
numpages = {10},
keywords = {SPIN, reactive systems, protocols},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581535,
author = {du Toit, Christine and van der Walt, Andries},
title = {Temporal Grammars},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Temporal grammars belong to the class of grammars with regulated rewriting, the regulatory device being a temporal logic formula. This formula is constructed of temporal logic operators, together with atomic propositions, defined for vectors associated with strings in a derivation. Such vectors contain the numbers of instances of the respective variables present in a sentential form. The temporal formula essentially regulates the number of instances of certain variables during a derivation.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {205–211},
numpages = {7},
keywords = {temporal logic, grammars, temporal grammars, regulated rewriting, propositional linear temporal logic},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581536,
author = {van Zijl, Lynette},
title = {Nondeterminism and Succinctly Representable Regular Languages},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Only a relatively small number of families of regular languages can be represented succinctly by nondeterministic finite state machines. We conduct both experimental and theoretical analyses on selective nondeterministic finite automata, or *-NFAs, and show that this class of nondeterministic automata can be used for the succinct representation of a far larger number of regular languages.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {212–223},
numpages = {12},
keywords = {succinctness, automata theory, descriptional complexity, nondeterminism},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581538,
author = {Oren, Nir},
title = {Reexamining <i>Tf.Idf</i> Based Information Retrieval with Genetic Programming},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The tf.idf family of vector based information retrieval schemes is very popular due to its simplicity and robustness, as well as its tractability to enhancements. This paper proposes a method to automatically perform a search for new tf.idf like schemes using genetic programming. The results of this automated search are then evaluated in a simple usage scenario. Also evaluated are the effects of using different fitness functions in the genetic programming phase.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {224–234},
numpages = {11},
keywords = {genetic programming, tf.idf, information retrieval},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581539,
author = {Sunassee, Nakkiran N and Sewry, David A},
title = {A Theoretical Framework for Knowledge Management Implementation},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This paper outlines ongoing research in the area of knowledge management implementation strategies. An investigation of the literature reveals that when organisations initiate a knowledge management effort, most of them tend to over-emphasise the role of information technology at the expense of the human factor. A preliminary survey of local organisations using Duffy's Knowledge Management Benchmarking Questionnaire confirms these findings. This paper then proposes a framework that will address the shortcomings in current knowledge management implementation strategies. The framework consists of three main interlinked components: Knowledge Management of the Organisation, People, and Infrastructure and Processes. The framework focuses on the importance of aligning the knowledge management strategy of the organisation with the overall business strategy of the organisation. The culture and managing the culture change when implementing knowledge management are also dealt with. Furthermore, the framework recommends a holistic approach to managing knowledge.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {235–245},
numpages = {11},
keywords = {knowledge management implementation strategies, knowledge management},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581541,
author = {Kebede, Selamawit and Bruwer, Piet J S},
title = {Utilisation of MIS in Manufacturing Industries},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {An organisation succeeds by bringing together and managing
certain resources in a productive way. The traditional list of
resources comprises labour (manpower), money, material, managers,
machines and facilities. Only over the past two decades has
information come to be recognised as another resource, one that is
crucial to the management of others and one, which under certain
circumstances, may be substituted for them cost-effectively.Information shares many properties with other resources: it has
value and lends itself to the process of management. Information is
a valuable resource and hence must be managed in a well-designed
system so that managers are able to obtain relevant information
timeously for their decision-making processes.One of the major problems of organisations that make them fail
may be insufficient utilisation of the major resource of the
organisation, viz. information. Managers have to be aware of
utilising management information systems effectively to be
competitive in the business world. Many managers in the
manufacturing industries in South Africa may be unaware of the
capabilities and use of an effective MIS.Most manufacturing industries are possibly already using
products of Information Technology. However, their awareness level
of applying information technology to designing effective
management information systems to overcome their specific problems
needs to be investigated and determined.To be effective in today's dynamic and competitive business
environment, a manager, and indeed, an organisation, must think in
the system mode. Technological innovation has simplified the
collection of data into sophisticated information systems. With
appropriate management information systems in place, managers can
focus their attention on the creative elements of management such
as developing strategy, searching for new opportunities and
competitive advantages, and optimising the use of the
organisation's resources.The primary objective of this research was to establish the
impact of management information systems (MIS) and information
technology on the success of manufacturing industries. The other
aim of the study was to investigate the extent of applying
information technology in these industries. The study focused on
medium and large-scale chemical manufacturing companies in the Cape
Metropole area that have operated at least for the past five years.
The empirical data were collected through questionnaires.Frequency and multiple regression analysis were applied to
analyse the data. The results of the analysis indicate that most of
the managers of the companies appear to be aware of the
capabilities and use of MIS for their business success. However,
there are still some managers who are unaware of MIS. It was also
found that utilisation of MIS in manufacturing companies and
applying information technology have a positive impact on their
success.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {247},
numpages = {1},
keywords = {computer applications in business, management decision support system, information technology, decision support system, manufacturing, management information systems},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581542,
author = {Averweg, Udo Richard},
title = {Implementing JDEdwards ERP Software: A Case Study of the Post-Implementation Stage},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Many organisations have initiated enterprise resource planning (ERP) projects using various software packages. JDEdwards is a leading ERP software vendor. The difficulty with effectively implementing ERP systems suggests that many organisations do not appreciate the issues and problems typically encountered during the ERP life cycle.A post-implementation review is one important stage of the ERP life cycle. Little research has been undertaken on the ERP post-implementation stage in a metropolitan municipal environment in South Africa.During 1997 eThekwini Municipality embarked on an ERP project to replace its in-house non-integrated financial systems. Some 555 user specifications were identified. JDEdwards was selected as the preferred ERP supplier. In July 1999 the implementation successfully went live with 1150 named users.A post-implementation review of the identified user specifications and general user satisfaction was conducted. This case study reports on this ERP post-implementation stage. Quantitative and qualitative techniques were used to analyse the collected user specification and general user satisfaction data.The contributions of this paper can be summarised as:1. increasing the understanding of the ERP post-implementation stage in metropolitan municipal environment in South Africa;2. confirming the existence of this stage in the ERP life cycle;3. developing a richer understanding of some issues in a successful ERP implementation environment;4. noting the importance of formalising this stage;5. suggesting future ERP research agenda; and6. reporting that the interview process facilitates gauging user satisfaction with the ERP software solution.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {248},
numpages = {1},
keywords = {implementation success, information system satisfaction, life-cycle, metropolitan municipality, JDEdwards, post-implementation stage, enterprise resource planning},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581543,
author = {van Zyl, Jay},
title = {A Perspective on Service Based Architecture: The Evolutionary Concept That Assists Technology Providers in Dealing with a Changing Environment},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Agility is a term used when describing an organizations ability
to change and has been written about by many authors and used in
many forums --- it is used to describe the core capability of an
organization to move with times, or move with strategy. Agility is
defined in the Oxford dictionary as 'The gracefulness of a person
or animal that is quick and nimble'. Business Agility is the
gracefulness of an organization to quickly redesign itself for
strategic, tactical or operational reasons. Businesses would do
this to stay competitive, restructure or expand into other markets.
The inhibitor becomes the ability of the software systems to adapt
to the new requirements. Software systems typically are constructed
for single purpose implementations and hardly ever cater for
effective re-use. Reuse could obviously mean many things as bits of
code can be reused, but maybe components cannot be reused.
Inevitably there is a shortcoming in being able to change existing
systems or realize new requirements quickly.Software-as-services is a concept that has been used in a number
of architectures to facilitate reuse and to deal the plug-and-play
abilities of software. CORBA (Common Object Request Broker
Architecture) based software standards have a clearly defined means
of using software-as-services to perform a variety of tasks for
example authentication and name resolution services. Operating
system services are used to provide device independent services for
example printer drivers.In software architecture, the term common-customer-view has
become the latest and highly debated strategic topic. Research in
the financial services sector shows that business has silos of data
and applications that exist in isolation and has cumbersome
integration processes and technology. A typical problem is that
these large organizations would have several copies of their
customer data stored in diverse software applications that each
focus on a specific business product or functional business area.
How can organizations protect their existing software
infrastructures whilst moving towards a more integrated,
common-face-to-software-for-customer based architecture?Service based architecture (SBA) is a layered architecture that
separates the usage and definition of software components, from the
implementation software architecture in order to define
software-as-services using a common standard. This paper presents
an approach whereby service based architecture can be used as a
means to assemble software systems from loosely coupled
software-as-services in such a way that concepts such as common
customer views can be achieved easily. A separation continuum is
used to describe how business models and technology architectures
are used. Web Services is one example of how software-as-services
is implemented. This paper uses this as a focus area to explain
implementations as momentum is already created in the software
industry backing from many major players like IBM, Microsoft, SUN,
BEA and HP.Related work has been published through the Software Product
Line Practice Conference (SPLC1 and SPLC2) hosted by Carnegie
Mellon University and Software Engineering Institute, and Computer
Software and Applications Conference (COMPSAC) conferences. This
paper presents specific findings and presents solutions that relate
to service based architecture where other published work is more
generic in nature. Since research is still under way, some interim
findings are discussed. Nine large financial services organizations
is South Africa, three in Germany and two in the United States of
America form part of this research.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {249},
numpages = {1},
keywords = {patterns, service based architecture, application assembly, separation continuum, architecture, web services, separation of concerns},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581544,
author = {Tiley, Heather and van Zyl, Jay and Walker, Alistair J.},
title = {Empirical Study of Implementing Product Line Practices in a Software-Producing Organisation},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Software delivery organisations are required to produce
commercially viable innovative products in a short space of time. A
balance must be created between product innovation and process
innovation, when developing software systems, to ensure product
commercialisation. While numerous software engineering 'best
practices' exist, such as ISO/IEC JTC1 Software Engineering
Standards, SWEBOK (Software Engineering Body of Knowledge) and
SEBOK (Software Engineering Institute), these focus on the direct
delivery of software and often fail to connect with the realities
of commercial business.Quality related bodies form a system for worldwide
standardisation as a whole and, together with the Software
Engineering Institute (IES), Quality Assurance Institute (QAI) and
others, have played an important role in providing this
balance.The Process Innovation Imperative [Van Zyl 2001] is an
investigation that was the result of thirteen years of research in
the software and related industries. This research identified
various conceptual models that were used together with the ISO/IEC
TR 15504 framework in order to facilitate process innovation. This
paper covers work that was performed for the period June 1999
through to March 2001, as part of the Process Improvement
Imperative, in the engineering division of a medium sized new
generation IT company. The organisation was founded in 1994 and
delivers dynamic, component-based applications to customers in the
financial services industry that meet their needs in rapidly
changing business environments and that are flexible to adapt to
changing needs over time.The purpose of the work reported in this paper, carried out as
part of the Product Management Architecture project, was firstly to
re-implement and focus product line practices within a
software-producing organisation. This was done by implementing the
models identified in the Process Innovation Imperative within the
framework of ISO/IEC TR 15504; and secondly to record and analyse
data in order to derive empirical evidence of improvements within
the organisation.The paper describes the process that was used, and the data
collected during this process is used to provide empirical evidence
of improvements within the organisation.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {250},
numpages = {1},
keywords = {standardisation, product line practices, process improvement, capability},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581546,
author = {Calitz, Andre and Scheepers, Brad},
title = {A Comparative Analysis of E-Commerce Website Development Using Two Implementation Methods},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The Internet has become a major resource in modern business and
many businesses are creating a web presence. A business' website
can become a storefront and needs to function efficiently, having
the aesthetic appeal to attract and retain customers. Pick 'n Pay
[2001] have recently developed an online grocery store that allows
customers to purchase products and have the goods delivered to your
home. There are however implications to the business when deciding
to provide an e-commerce service. Important considerations are that
a website is functionally complete, secure and ensures the business
will receive payment for the goods sold.Development time and costs are important factors to consider
when a business plans to set up an e-commerce website and therefore
various implementation options available needs to be considered.
Internationally accepted guidelines have been developed to provide
companies and website developers with strategies to follow when
implementing effective e-commerce websites [Nielson, 2001]. The
business needs to further decide who will design the website and
how it will be done. An IT professional/company can provide these
services, however there are other options available to the
business. In-house development can be done with the use of a
software package, such as an e-commerce construction kit. The
questions a business should consider is which implementation method
should they consider and how would the resulting systems differ?
The final result could have large implications on how the website
looks, functions and costs and therefore will effect the business's
decision.This research project aimed to select a general retail business,
develop two fully functional prototype e-commerce websites for the
business using two implementation methods and compare the two
methods. One website was development using ASP and another site
designed with the use of an e-commerce construction kit, ECBuilder.
Each site listed various products and allowed the user to purchase
products making use of a shopping cart. An efficient search
facility was incorporated to allow clients to easily find
products.Users making use of user interface satisfaction and
functionality criteria evaluated the websites. The two prototypes
were compared with regards to design and implementation criteria,
in order to obtain research results as to which design method a
small businesses could consider, when opting for online retail
website development. The results of the usability evaluation showed
that a custom made ASP prototype provided a better user interface.
The results from the functionality tests performed on each system
indicated that the ASP website provided better overall
functionality with regards to ease of use, the intuitivism of the
screens and the time taken to complete each of the tasks.The results from a design perspective showed that the toolkit
website took only forty-five minutes to set up, whereas the ASP
site took roughly one-hundred and thirty-four hours to develop. The
cost of each website differs drastically. A business that intends
to implement an e-commerce website needs to evaluate certain
criteria to decide which method will be the best for them. These
could include the size of their budget, the time available for the
design and implementation, possible aesthetics and the ease of
maintenance. This project has proven that each method has its
advantages and disadvantages and it is up the business to decide
which option is the best for them.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {251},
numpages = {1},
keywords = {web development, user interfaces, e-commerce},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581547,
author = {Slay, Hannah and Slay, Jill},
title = {Augmented Reality as a Visualisation Tool within Information Visualisation},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Command and Control (C2), an integral part of Information
Warfare, is focused on the use of communications and computer
systems to allow all kinds of warfare to be won. A major issued
faced by military decision makers involved in C2 is the need to
respond quickly to complex battle situations during a time of
conflict. Military commanders operate within an historically
hierarchical management structure, which now depends heavily on
network-based information systems. Often the technical skills and
expertise necessary to operate complex systems now reside much
lower down the chain-of-command so that military leaders themselves
cannot access or interpret the complex information that is
gathered. Working internationally poor language skills are often a
barrier and to aid decision making, data must be presented in an
appropriate form keeping this in mind.One mechanism for displaying abundant amounts of disparate
information is through <i>information visualization</i>
[Goodburn 1999], exploiting the natural abilities of the user to
rapidly understand, analyse and evaluate information displayed in a
graphical form. A vast number of approaches and formats are used in
information visualisation. It can be used to represent an entity
with a physical form, as well as to model synthetic systems such as
software systems and intranets [Pattison et al 2001]. An advantage
of computer-based visualisation is that the underlying information
that the information visualisation views are created from can be
very generic. The description of the information displayed can be
made very flexible, allowing the user to interact with the system
and change the description to suit their circumstances. The user
can change the description and the new model can be generated in a
near real-time response. Allowing the user to explore the different
parts of the model. This paper describes
<i>InVision,</i> a component based visualisation
environment developed by the Defence Science and Technology
Organisation and its research partners, to investigate a range of
issues related to the rapid assembly and deployment of adaptive
visualisation systems. Issues being investigated include view
management and sharing, novel visualization approaches and
intelligent agent support.<i>Augmented Reality</i> (AR) refers to the process
of overlaying computer-generated images spatially registered to the
real world, allowing users to visualize three-dimensional virtual
objects in the real world and interact with them in a natural way.
By using a head mounted display placed on the user's head it is
possible to completely replace the user's view of the real world
with this computer-enhanced world. ARVIS is a C based application
designed to investigate new interaction techniques in AR. It
provides the user with mechanisms for direct manipulation and
command input of virtual objects. The users can not only display
three-dimensional models on fiducial markers, but also interact
with them. This interaction allows the user to both select parts of
the models, to change their attributes, and to manipulate the
selected components. When parts of models are selected, the user is
also able to map a translation onto the selected components. This
paper describes an AR view capability that was added as an
extension to <i>InVision</i> with components that allow
any of the views in an <i>InVision</i> workspace to be
displayed through an AR tangible interface, incorporating ARVIS as
a component into the <i>InVision</i> framework.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {252},
numpages = {1},
keywords = {augmented reality, information visualisation, information warfare, command and control systems},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581548,
author = {Repokari, Lauri and Saarela, Toni and Kurki, Ilmari},
title = {Visual Search on a Mobile Phone Display},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Information and functions available in mobile phones increase
all the time, but at the same time the size of the phones
decreases. This leads to a problem of presenting efficiently as
much information as possible on a small display. Here a visual
search paradigm was used to measure and compare search times on a
small display with text and icons used as targets. We also studied
the effect of simultaneously shown icons' features on target icon
search times. The aim of the study was to compare the search times
on a small display when text or icons are used as targets and
distractors and to further study the effect of different types of
distractors when using icons. We were also interested to see how
suitable the traditional visual search paradigm is for
human-computer interaction research.Fifteen subjects (8 women) took part in the experiments.
Thirteen icons and thirteen words were used as stimuli. Icons were
acquired from an actual mobile phone user interface. For some of
the trials, icons were divided into two groups: filled and not
filled. The words used were 5-6 letter Finnish words with the first
letter capitalized. The main results of this study were:1. Visual search is significantly faster on small display when
icons rather than text are used as targets and distractors. The
difference in search times also increases when the number of items
on the display is increased. With a set size of fifteen, the
reaction times were two times greater in text search than in icon
search.2. Search times can be greatly affected with by choosing the
concurrently shown icons properly.3. Search times in pop-out---search remain on a same level
despite the size of the set. This result differs from the
expectations in the study based on cognitive psychology
paradigm.The fact that icon search was faster than text search was not in
itself surprising, because in text search there are always more
characters on the screen. The results from 'pop-out' ---search show
that effects due to the target-distractor differences, that are
known from basic research, hold in more applied conditions as well.
The greatest differences in search times were observed between text
and icon search tasks and they were about half a second. This may
seem small at first, but one has to keep in mind that in these
experiments, subjects had only one task to handle. There is a long
way from this to a real life situation, in which the phone is often
used while simultaneously attending to other, often more demanding
tasks as well. One would expect the difference to be even greater
in that kind of situation. Text is naturally always going to play a
part in mobile phone interface. Still, it was shown here that the
icons are found faster and that the search times can be affected by
features of adjacent icons. When designing an interface to a
small-display device, designing and choosing adjacent icons
properly may help to make the device more efficient to use.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {253},
numpages = {1},
keywords = {visual search, small display user interface, mobile phone},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581550,
author = {Pretorius, Laurette and Bosch, Sonja},
title = {Regular Expressions: Enabling the Development of Computational Aids for Zulu Natural Language Processing},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The computational treatment of morphologically complex languages, such as those belonging to the Bantu language family, requires as basic computational aids a machine-readable lexicon containing a list of all the word roots in the language as well as a computational morphological analyser/generator.In Zulu, where words are formed by productive affixations of derivational and inflectional suffixes to roots or stems, the constant core element in a word is the root. For example a single verb root in Zulu may have hundreds of thousands of different inflected/derived forms. At present no (comprehensive) machine-readable lexicon exists for Zulu. Since a machine-readable lexicon constitutes a key language resource in human language technology and natural language processing, and should therefore be readily accessible, reusable and portable, we discuss our development of such a resource as an XML document. In order to perform this task of maintaining and updating the lexicon in a systematic and exhaustive way, we elaborate on the automation of the identification and extraction of new roots from real natural language corpora. We explain that in order to do this for a language such as Zulu a computational morphological analyser/generator is required.In Pretorius and Bosch [2002] we reported on a first prototype of a computational morphological analyser/generator for Zulu in which the morphology of Zulu nouns was covered, using the Xerox finite-state calculus and tools to model and implement the appropriate morphotactics and alternation rules for a selected Zulu lexicon.In this paper we report on subsequent work, focussing on the design, building, and continued updating of a Zulu XML lexicon, using a variant of the morphological analyser/generator, called a guesser. We highlight the fundamental role that regular expressions play in XML, in the morphological analyser/generator, and in the guesser variant of the analyser as a tool for mining, exploring and analysing electronically available Zulu corpora.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {254},
numpages = {1},
keywords = {finite-state computational morphological analysis, zulu, XML lexicon, regular expressions, xerox finite-state tools, natural language processing, agglutinating languages},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581551,
author = {de Kock, Gideon de V.},
title = {Searching on Full Name Providing for Spelling Variations},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The term <i>full name</i> is used for a surname plus
zero or more forenames (first names) of a person. Searching a large
database which contains at least the full name of an individual and
the date of birth, e.g. in our case a genealogical database
containing about 525 000 person records, could be problematic and
is discussed in this paper. The full name recorded may not be exact
or complete, and dates may also not be accurate and could in some
cases be estimates. The discussion includes the handling of
spelling variations, aliases and/or derivatives of names, double
barrel names and incomplete information --- e.g. maiden names of
females are not present, or forenames are permuted, dropped or
inserted. As an illustration, assume that the database contains the
target <i>Van de Venter, Loubser Petrus Johannes
Frederick,</i> but a search for <i>Van Deventer,
Laubscher Pieter Jan Derick,</i> is requested. A proper
search algorithm should yield the target. Also note that a
double-barrel name like <i>Mari-Ann,</i> could be
treated as two different names or a single name. These problems
occurs in many applications where records of a large number of
persons are stored e.g. archive databases, burial, cemetery and
church records, military records of soldiers, hospital records,
telephone directory, voters rolls, etc. Various methods such as the
so-called <i>Soundex</i> type methods, and attempts to
define a distance function between full names using, for example,
weighted transformations, were investigated with no acceptable
success.The first algorithm proposed, required that names considered as
equivalent be grouped together in equivalent classes, and stored in
a name database that is being updated on a regular basis.
Propositions in names were dropped, e.g. <i>Van der
Merwe</i> and <i>Merwe</i> were put in the same
equivalence class. Double barrel names like
<i>Mari-Ann</i> and <i>Mariann</i> have
been put in the same equivalence class, but <i>Mari
Ann</i> was treated as two separate names. Within each
equivalence class one name is identified as the
<i>characteristic name</i> that represents all the
names of the class. An equivalent name index was built. In order to
overcome the missing maiden name problem, an additional entry is
made in the index for every marriage of a female by substituting
her maiden name by her husband's surname. This approach solved the
problems with spelling variations and missing maiden names, but a
few problems remained. Firstly, due to naming traditions the hit
rate could be high, but this problem can be relieved by
concatenating the date of birth at the end of the search key.
Secondly, due to the large number of entries and long keys the
lookup is fairly slow which is aggravated by the repeated lookup in
the name database to build the search key. This is overcome by
encoding the characteristic names using a two-byte code that
retains the lexicographic order. This produced very satisfactory
results with search times for the first matching target record of
less than a second on an average PC.In spite of the very good performance of this search algorithm,
it has a major shortcoming in that the allocation of a name to an
equivalence class is problematic. Often an equivalence class is too
large and contains names that are very remote because of a
continuum of similarities, e.g. <i>Pete, Peet, Piet, Pietje,
Pieterjie, Pieter, Petrus, Pieternella, Nella, Nellie,</i>
and <i>Nelie.</i> It was fairly obvious that the
classes should not be too large, but that a name should appear in
more than one set. Consequently, names were grouped into similarity
sets --- a name could appear in more than one set. In case of a
double barrel name like <i>Jansen van Vuuren,</i> it
was put in three similarity sets, the first set containing itself,
the second set containing <i>Jansen,</i> and the third
set containing <i>Van Vuuren.</i> An index were
compiled on full name containing an entry for all possible
combinations of the characteristic names of the similarity sets
which contain the names constituting the full name. Although this
index is significantly larger, the search speed is still less than
a second. Future work will include the use of inverted indexes on
the name using the similarity sets and investigate and evaluate
some of the search techniques used on the Internet. Such methods
should fully provide for the permutation of forenames and partially
for the dropping and/or addition of forenames.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {255},
numpages = {1},
keywords = {search for a person, search on full name, search algorithms, person database},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581553,
author = {Joubert, Pieter},
title = {Information System Architecture: A Case of Mixed Metaphors},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Many metaphors from other disciplines are used in the field of information systems. Through the years software engineering, business process reengineering, software architecture and other concepts have drawn from fields like engineering and architecture.The one use of the term concerns the whole organization while the other concerns individual systems. These two concepts should be distinguished by introducing the concepts of town planning to stand next to architecture. This can help information system academics and practitioners better understand the current concept of information system architecture because many lessons can be learnt from the field of town planning and applied to information systems.The parallels between architecture and information systems have been studied in detail by various authors. Certain authors describes architecture as a reference discipline for MIS because both are design fields, both involve designers and users and both use technology to create an artifact to serve users.The parallels between town planning and information systems, on the other hand, have not been studied at all. This paper's main premise is that we should make a clear distinction between the high-level planning of systems on an organizational level and the high-level planning on a systems level. Specific systems can be compared to individual buildings and the organization can be compared to a town. Maybe the metaphor of town (or urban) planning should be added to our vocabulary.The benefits of this would be to clearly highlight the fundamental differences between the two areas. Many lessons can also be learned from the built environment, which includes town planning and architecture. For instance, in the built environment there is a clear distinction between different roles and disciplines. An architect, town planner and builder have different training paths and very specific roles that they play. This is something that the IT world could consider more seriously.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {256},
numpages = {1},
keywords = {information systems planning, metaphors, information system architecture},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581554,
author = {Kok, Dirk and Wesson, Janet},
title = {Designing Transaction Processing Systems: A Patterns Approach},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {This paper discusses the role of HCI design patterns for
software development in the transaction processing (TP) application
domain. The concept of a design pattern, whilst popular in several
other fields including architecture and software engineering is
relatively new to human-computer interaction (HCI). The potential
of pattern languages as a vehicle for the dissemination of HCI
design knowledge is becoming widely recognized within the HCI
community [Tidwell 1998; Van Welie 2001; Wesson 2001]. The TP
application domain has its own set of unique design problems. User
interface (UI) designers are faced with design challenges that are
specific to this application domain. This paper discusses the
development of a pattern language for transaction processing
systems (TPS) that has been used to successfully design several
TPS.TPS refers to a class of programs that facilitates and manages
transaction-oriented applications, typically for data entry and
retrieval transactions. TPS are prevalent in most areas of the
construction and engineering industries, from maintaining stock
levels in an electronics repair shop, to recording time and
attendance information for a large engineering concern. The
Transaction Processing Pattern Language (PL) discussed in this
paper can be divided into two main categories: patterns that deal
with general UI design; and patterns that focus specifically on TP.
In the context of this paper, our discussion focuses on the TP
patterns. Specifically the patterns related to data management
(viewing, capturing and editing) are discussed.Usability is a key factor for the success of online TPS. These
systems must be designed to meet specific usability objectives and
accommodate a wide diversity of users. A heuristic evaluation was
conducted of the usability of the UI designs created using the
Transaction Processing PL [Nielsen 1994]. This usability evaluation
revealed no significant usability problems. The user interface
design was found to meet its key usability objectives: readability,
consistency, efficiency, productivity and error prevention. Pattern
languages and design patterns can represent a solution to the
design problems facing UI designers. This PL has been used to
facilitate knowledge and skills transfer from a UI design expert to
novice UI designers in a South African software company. While
considerable research must still be done to refine and extend the
proposed PL, it nevertheless represents a significant contribution
to understanding the problems facing designers of TPS and the
possible solutions.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {257},
numpages = {1},
keywords = {pattern language, transaction processing systems, design patterns, human-computer interaction},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581555,
author = {Weideman, Melius and Haig-Smith, Timothy},
title = {An Investigation into Search Engines as a Form of Targeted Advert Delivery},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {The process of marketing encompasses three functions: to inform,
remind and persuade. The growth of the Internet signified a dawn of
a new age of marketing; a low cost form of marketing that presented
vast economies of scale. It can further be said that using the
Internet provided a business advantage [Aldridge et al. 1997].
However, the Internet's business advantage is not as great anymore
as most medium and large sized companies have a web site. In the
mid and late 1990's, e-commerce companies were willing to spend
vast amounts of money on advertising, apparently without concern
for the returns on the investment. Companies who were keen to
harness the potential of the Internet soon became disillusioned
with over-hyped expectations. E-commerce companies are now reducing
expenses and investment in online marketing and technology
[Aldridge et al. 1997:162, Bonanos 2001, Mollison 2002, Joseph
& Poon 2001].It stands to reason that a more targeted approach would be more
efficient and cost effective. Customizing of advertising messages
to be appropriate for individuals receiving the information would
reduce resources required to generate revenue. The main benefit of
this marketing technique is that advertisers are able to target
individuals with advertising that is related to their interests or
needs. However, a major issue with Targeted Marketing is privacy.
The reason is that a collection of information is required about
individuals in order to make it effective. The more detailed the
information, the more accurate the targeting. The use of targeted
marketing does not guarantee commercial success as many other
factors are involved; there are numerous examples, which prove this
to be the case [Bonanos 2001].Search engines currently play a significant role in targeted
online marketing. It is even claimed to be highly successful for
advertisers. Although this may be a general belief, little
investigative research has been done on this topic. Related areas,
which this paper will attempt to investigate, include search
engines and their ability and effectiveness of delivering targeted
advertising. In summary, the problem addressed here is value of
Internet marketing. It would appear that marketing via search
engines is not a straightforward process.This paper is an investigation into Keyword Targeted Marketing
as provided by most search engines. Issues that are discussed
include the reasons for using this form of advertising, the media
used in the advert presentation, the various levels of accuracy in
matching keywords to banner advertisements, the metrics used to
evaluate performance and challenges that have been discovered in
its implementation. A company that wants to increase its exposure
to potential clients via search engine usage, may do so by 'buying'
certain keywords which describe their business. Usage of any of
these keywords by a potential client of this search engine will
result in a pop-up advertisement on the user's screen. Marketing
and advertising on Internet websites have entered an exiting new
era with many possibilities to be explored. However, some less
invasive measures to explore these possibilities might have to be
found.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {258},
numpages = {1},
keywords = {interface, internet, search engine, searching},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581557,
author = {Tunzelana, Sibongiseni},
title = {An Investigation into the Convergence of Information Technology, Telecommunications and Media in South Africa},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {For a long time technological sectors have been working in isolation, and in competition. The three sectors of focus, namely, telecommunications, media, and information technology started as stand-alone sectors. Each sector had its own objectives and goals. Although, these sectors overlapped significantly from time to time, a closer inspection was hardly taken. At times, the information technology sector overlapped with the telecommunications sector, the media sector with the information technology sector, or all three. At this day and age, these sectors do more than overlap, they merge. The convergence of information and communication technologies (ICT) has led to the integration of data, voice, graphics, and video into a digital environmentThe one certainty in today's business world is change. The convergence of an increasing range of communication technologies and applications is driving demand for new and innovative communications services that supports business growth, communication, technology, and the mediaThis paper examines the coming together of different sectors and technologies to bring about innovative services and products. The research is then narrowed to the South African context. Investigation of the status of cable television and the convergence of different sectors in South Africa is inspected. A glimpse of the envisaged future of the topic of the convergence of technologies in South Africa is stated.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {259},
numpages = {1},
keywords = {telecommunications, information communication technology, digital divide},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

@inproceedings{10.5555/581506.581558,
author = {Pather, Shaun and Erwin, Geoff},
title = {Motivations for Research Activity of Information Technology Academics},
year = {2002},
isbn = {1581135963},
publisher = {South African Institute for Computer Scientists and Information Technologists},
address = {ZAF},
abstract = {Higher Education in South Africa at tertiary level has been
undergoing intensive investigations about restructuring by national
government in the last few years. South Africa has two distinct
types of tertiary educational institution: Technikon and
University. South Africa is seeking to build a mixed
research/teaching profile for Technikons. In January 2002, a
National Working Group recommended to the National Minister of
Education various mergers between institutions aimed at systemic
financial and academic problems. One academic problem specially
noted was the low level of research output from the Technikon
sector. This paper overviews the background to this altered mission
for Technikons in South Africa. It then specifically describes
activities at Cape Technikon to promote research activity in all
disciplines. Moving to Faculty level, this paper reports on steps
taken within the Faculty of Business Informatics towards developing
a mixed culture of research and teaching, from a teaching-dominated
past.Findings from a part of a survey of all academic staff in the
Faculty (including Information Technology academics) on motivations
for their own participation in research activity and their ideal
work mix are presented. The paper reports on two components of the
survey viz. motivational factors for participation in research
activity, and respondents' choice of work mix. A list was compiled
of motivating factors, as they existed at national, Cape Technikon
(institutional), and faculty (Business Informatics) level. A fourth
category of motivational factors, personal factors, was also
compiled. In total, fifteen factors were identified across the four
categories: national (2), institutional (3), faculty (5) and
personal (5). The second component (of the survey) that is reported
on, identifies the extent to which the Technikon academics favoured
inclusion of research activity as part of their daily work
load.Of the top five motivational factors chosen by the respondents
three factors were from the personal category, and two from the
faculty category. This suggests that lecturers were motivated by
issues that were secondary to research outcomes. Although the top
ranked factor was 'personal satisfaction', enhancement of prospects
for job promotion in academia as well as opportunities outside Cape
Technikon were also factors amongst the top five. Pressure from
authority at Dean/Head of Department level showed little response,
since it was the (equally) least chosen amongst all the factors,
with only 1 of the 17 respondents indicating that they would
succumb to such 'pressure'.In view of the responses to the work-mix section of the survey,
the authors suggest that the highly publicised initiatives and
investigations at national, institutional and faculty level over
the previous 15 months created a greater awareness of the
importance of engaging in research activity. Furthermore, no non-IT
staff chose 'research only' in 2001 or 2002. There was little
change in IT staff's choice of work mix including some research.
Only IT staff chose the 'research only' work mix as first choice in
April 2002. No non-IT person chose a 'research-only' work mix.
Almost all IT staff chose work-mixes that included some research,
both in January 2001 and April 2002. Perhaps this indicates a
latent urge to be research-active.Further analysis of the results from the other sections of the
questionnaire is still to be done. The issuing of the questionnaire
has stimulated some debate within Cape Technikon and outside. The
questionnaire, with appropriate tuning, could be applied to other
faculties and disciplines at Cape Technikon, and to sister
institutions in the Western Cape Province and nationally. The
number of respondents has been small, reflecting the size of
Faculty academic staff. A longitudinal study should be possible in
a year to estimate any further shifts to or from research activity.
More sophisticated statistical analysis would be relevant when the
number of respondents increases, especially correlation and factor
analysis.},
booktitle = {Proceedings of the 2002 Annual Research Conference of the South African Institute of Computer Scientists and Information Technologists on Enablement through Technology},
pages = {260},
numpages = {1},
keywords = {research, higher education, universities, technikons},
location = {Port Elizabeth, South Africa},
series = {SAICSIT '02}
}

license: Unlicense

repository: goyalkaraniit/acm-cr

repo_name: goyalkaraniit/acm-cr

branch_name: refs/heads/main


text:
SUMMARY = "An open source MPEG-4 and MPEG-2 AAC decoding library"
HOMEPAGE = "http://www.audiocoding.com/faad2.html"
SECTION = "libs"
LICENSE = "GPLv2"

LIC_FILES_CHKSUM = "file://COPYING;md5=381c8cbe277a7bc1ee2ae6083a04c958"

LICENSE_FLAGS = "commercial"

SRC_URI = "${SOURCEFORGE_MIRROR}/faac/faad2-src/faad2-2.8.0/${BP}.tar.gz"
SRC_URI[md5sum] = "28f6116efdbe9378269f8a6221767d1f"
SRC_URI[sha256sum] = "985c3fadb9789d2815e50f4ff714511c79c2710ac27a4aaaf5c0c2662141426d"

inherit autotools lib_package

license: MIT

repository: ni/meta-openembedded

license_type: permissive

repo_name: ni/meta-openembedded

branch_name: refs/heads/nilrt/master/hardknott

gha_license_id: MIT

gha_language: BitBake

extension: bb


text:
SUMMARY = "Library that provides weak aliases for pthread functions"
DESCRIPTION = "This library provides weak aliases for pthread functions \
not provided in libc or otherwise available by default."
HOMEPAGE = "http://xcb.freedesktop.org"
BUGTRACKER = "http://bugs.freedesktop.org/buglist.cgi?product=XCB"
SECTION = "x11/libs"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://COPYING;md5=6edc1fea03d959f0c2d743fe5ca746ad"

inherit debian-package
require recipes-debian/sources/libpthread-stubs.inc
DEBIAN_PATCH_TYPE = "nopatch"

inherit autotools

RDEPENDS_${PN}-dev = ""
RRECOMMENDS_${PN}-dbg = "${PN}-dev (= ${EXTENDPKGV})"

BBCLASSEXTEND = "native nativesdk"

repository: meta-debian/meta-debian

repo_name: meta-debian/meta-debian

branch_name: refs/heads/warrior


text:
DESCRIPTION = "Python bindings for ZeroMq"
SECTION = "devel/python"
LICENSE = "LGPLv2.1"
LIC_FILES_CHKSUM = "file://COPYING.BSD;md5=11c65680f637c3df7f58bbc8d133e96e"

SRC_URI = "https://pypi.python.org/packages/source/p/pyzmq/pyzmq-${PV}.tar.gz"

SRC_URI[md5sum] = "a6a7fb6950b1bf5333c6795f3edf196c"

S = "${WORKDIR}/pyzmq-${PV}"

# /home/jkv/poky/testbuild/tmp/sysroots/qemuarm/usr/

DEPENDS = " python-core \
            python-ctypes \
            python-datetime \
            python-fcntl \
            python-logging \
            python-math \
            python-threading \
            python-io \
            python-codecs \
            python-shell \
            python-netserver \
            python-multiprocessing \
            util-linux \
            zeromq "

RDEPENDS_${PN} = " python-core \
            python-ctypes \
            python-datetime \
            python-fcntl \
            python-logging \
            python-math \
            python-threading \
            python-io \
            python-codecs \
            python-netserver \
            python-shell \
            python-multiprocessing \
            python-ecdsa \
            util-linux \
            zeromq "

FILES_${PN}-dbg += "${libdir}/python2.7/site-packages/zmq/backend/cython/.debug"
EXTRA_OECONF += "--host arm-poky-linux-gnueabi --build x86_64-linux"
do_configure() {
# will force pyzmq to compile and embed zmq itself
export zmq=bundled

}

do_install_append() {
        rm -rf ${D}${datadir}/share
}

inherit setuptools

repository: johnnykv/meta-crow

repo_name: johnnykv/meta-crow

branch_name: refs/heads/master


text:
@article{Katayama2012,
abstract = {Inductive functional programming (IFP) is a research field extending from software science to artificial intelligence that deals with functional program synthesis based on generalization from ambiguous specifications, usually given as input-output example pairs. Currently, the approaches to IFP can be categorized into two general groups: the analytical approach that is based on analysis of the input-output example pairs, and the generate-and-test approach that is based on generation and testing of many candidate programs. The analytical approach shows greater promise for application to greater problems because the search space is restricted by the given example set, but it requires much more examples written in order to yield results that reflect the user's intention, which is bothersome and causes the algorithm to slow down. On the other hand, the generate-and-test approach does not require long description of input-output examples, but does not restrict the search space using the example set. This paper proposes a new approach taking the best of the two, called "analytically-generate-and-test approach", which is based on analytical generation and testing of many program candidates. For generating many candidate programs, the proposed system uses a new variant of IGOR II, the exemplary analytical inductive functional programming algorithm. This new system preserves the efficiency features of analytical approaches, while minimizing the possibility of generating unintended programs even when using fewer input-output examples. Copyright {\textcopyright} 2012 ACM.},
author = {Katayama, S},
isbn = {9781450311182},
issn = {07308566},
journal = {Conference Record of the Annual ACM Symposium on Principles of Programming Languages},
keywords = {Algorithms; Artificial intelligence; Computer pro,Analytical approach; Functional programs; Input-ou,Input output programs},
pages = {43--52},
title = {{An analytical inductive functional programming system that avoids unintended programs}},
url = {http://www.scopus.com/inward/record.url?eid=2-s2.0-84857814672{\&}partnerID=40{\&}md5=1746ba69421ca6355877a10b359d2ce3},
year = {2012}
}
@article{Kitzelmann2006,
abstract = {We describe an approach to the inductive synthesis of recursive equations from input/output-examples which is based on the classical two-step approach to induction of functional Lisp programs of Summers (1977). In a first step, I/O-examples are rewritten to traces which explain the outputs given the respective inputs based on a datatype theory. These traces can be integrated into one conditional expression which represents a non-recursive program. In a second step, this initial program term is generalized into recursive equations by searching for syntactical regularities in the term. Our approach extends the classical work in several aspects. The most important extensions are that we are able to induce a set of recursive equations in one synthesizing step, the equations may contain more than one recursive call, and additionally needed parameters are automatically introduced.},
author = {Kitzelmann, Emanuel and Schmid, Ute},
isbn = {1532-4435},
issn = {15324435},
journal = {Journal of Machine Learning Research},
keywords = {based generalization,explanation,inductive functional programming,inductive program synthesis,recursive program schemes},
pages = {429--454},
title = {{Inductive Synthesis of Functional Programs : An Explanation Based Generalization Approach}},
url = {http://portal.acm.org/citation.cfm?id=1248562},
volume = {7},
year = {2006}
}

repository: roddejams/program-synthesis

path: /report/My Collection.bib

repo_name: roddejams/program-synthesis

extension: bib

filename: My Collection.bib


text:
SUMMARY = "Sratom is a library for serialising LV2 atoms to and from RDF"
HOMEPAGE = "http://drobilla.net/software/sratom"
LICENSE = "MIT"
LIC_FILES_CHKSUM = "file://COPYING;md5=02c12fd13bfe8cd6878ad1ea35778acf"

inherit waf pkgconfig

DEPENDS += "lv2 serd sord"

PV = "0.6.10"
SRC_URI = " \
    http://download.drobilla.net/${BPN}-${PV}.tar.bz2 \
    file://0001-Fix-build-for-python3-only-environments.patch \
"
SRC_URI[sha256sum] = "e5951c0d7f0618672628295536a271d61c55ef0dab33ba9fc5767ed4db0a634d"

repository: schnitzeltony/meta-musicians

repo_name: schnitzeltony/meta-musicians


text:
DESCRIPTION = "Extremely Fast and Simple WebGL Motion Detector."
HOMEPAGE = "http://www.sw-engineering-candies.com/blog-1/extremely-fast-and-simple-webgl-motion-detector-to-rotate-3d-graphic"
LICENSE = "Proprietary"

RDEPENDS_${PN} = "crosswalk"

SRC_URI += "git://github.com/MarkusSprunck/webgl-motion-detector.git;rev=c71881d60d93b0676378c4a49d8d213598d75f17 \
    file://manifest.json \
    file://webgl-motion-detector.desktop \
    file://webgl-motion-detector.png \
    file://webgl-motion-detector"

S = "${WORKDIR}/git"

LIC_FILES_CHKSUM = "file://${S}/README.md;md5=82393b214d2fd20e8943b5c3a83e4639"

do_install() {
    install -d ${D}${libdir}/webgl-motion-detector/
    install -m 0644 ${WORKDIR}/webgl-motion-detector.png ${D}${libdir}/webgl-motion-detector/webgl-motion-detector.png
    install -m 0644 ${WORKDIR}/manifest.json ${D}${libdir}/webgl-motion-detector/manifest.json
    cp -Pr ${S}/webgl-motion-detector/* ${D}${libdir}/webgl-motion-detector/

    install -d ${D}${bindir}/
    install -m 0755 ${WORKDIR}/webgl-motion-detector ${D}${bindir}/webgl-motion-detector

    install -d ${D}${datadir}/applications/
    install -m 0644 ${WORKDIR}/webgl-motion-detector.desktop ${D}${datadir}/applications/webgl-motion-detector.desktop
}

FILES_${PN} = "${bindir}/webgl-motion-detector ${datadir}/applications/* ${libdir}/webgl-motion-detector/*"

repository: joone/meta-crosswalk

repo_name: joone/meta-crosswalk