Hosted articles 2006

• Teaching Formal Methods for Computational Linguistics at Uppsala University (2006-12-01)
• Teaching Formal Methods: Practice and Experience - Index (2006-12-01)
• Historical Lessons on ID Technology and the Consequences of an Unchecked Trajectory (2006-12-01)
• Social Impacts of Transport Surveillance (2006-12-01)
• Identity Management: Is an Identity Card the Solution for Australia? (2006-12-01)
• Australia’s Anti‐Terrorism Legislation: The National Security State and the Community Legal Sector (2006-12-01)
• Automated Tools for Teaching Formal Software Verification (2006-12-01)
• Teach Z by Reverse Engineering Specifications From Real-Life Implementations (2006-12-01)
• Invited Capstone Talk Some Industrial Experience with Teaching Formal Methods (2006-12-01)
• Conceptualisation of Terrorism in Modelling Tools: Critical Reflexive Approach (2006-12-01)
• Regulating Telecommunications Interception and Access in the Twenty‐first Century: Technological Evolution or Legal Revolution? (2006-12-01)
• The Application of Critical Social Theory to National Security Research (2006-12-01)
• National Security: The Social Implications of the Politics of Transparency (2006-12-01)
• “La main à la pâte”, An Abacus to Teach Formal Specifications (2006-12-01)
• Teaching the Oxford Brookes Formal Specification Module (2006-12-01)
• Friendly e-tutor for Natural Deduction (2006-12-01)
• Teaching Semantics of Programming Languages with Modular SOS (2006-12-01)
• Microsemantics as a Bootstrap in Teaching Formal Methods (2006-12-01)
• Program Verification with the RISC ProofNavigator (2006-12-01)
• Logic, damned logic, and statistics (2006-12-01)
• Contributors to this Issue (2006-12-01)
• Invited Keynote Talk Invariant Based Programming (2006-12-01)
• Teaching Formal Methods in a Third World Country: What, Why and How (2006-12-01)
• Verifying Invariant Based Programs in the SOCOS Environment (2006-12-01)
• Algorithmic Problem Solving — Three Years On (2006-12-01)
• Mainstreaming the African environment in development? (2006-09-01)
• Angola: Can the politics of disorder become the politics of democratisation & development? (2006-09-01)
• Confronting Categorical Assumptions About the Power of Religion in Africa (2006-09-01)
• Review Article: Resistance is Futile—The Future and Post‐humanity (2006-09-01)
• Pentecostal Presidency? The Lagos-Ibadan ‘Theocratic Class’ & the Muslim ‘Other’ (2006-09-01)
• Demystifying the Niger Delta conflict: Towards an integrated explanation (2006-09-01)
• Comprehensive Peace? An Analysis of the Evolving Tension in Eastern Sudan (2006-09-01)
• An Accidental Sect: How War Made Belief in Sierra Leone (2006-09-01)
• Book Reviews (2006-09-01)
• Changing Science: The Advent of Neo‐liberalism (2006-09-01)
• Politics, history & problems of humanitarian assistance in Sudan (2006-09-01)
• Chad/Darfur: How two crises merge (2006-09-01)
• Africa: The struggle, intellectual & political, continues… (2006-09-01)
• Media Diversity and Cross‐Media Regulation (2006-09-01)
• Battle of Systems: Learning from Erstwhile Gas–Electricity and Telegraph–Telephone Battles (2006-09-01)
• A political ecology of wildlife conservation in Africa (2006-09-01)
• Can the Poor Help GM Crops? Technology, representation & cotton in the Makhathini flats, South Africa (2006-09-01)
• Resisting (nuclear) power? Environmental regulation in South Africa (2006-09-01)
• Sectoral Transformation in the Photovoltaics Industry in Australia, Germany and Japan: Contrasting the Co‐evolution of Actors, Knowledge, Institutions and Markets (2006-09-01)
• Book Reviews (2006-09-01)
• Engineering Organization and the Scientist in World War I: The Search for National Service and Recognition (2006-09-01)
• The politics of urban water reform in Ghana (2006-09-01)
• Briefings (2006-09-01)
• Contributors to this Issue (2006-09-01)
• Youth Cultures & the Fetishization of Violence in Nigeria (2006-09-01)
• World Bank & Heavenly Bank in Poverty & Prosperity: The Case of Tanzanian Faith Gospel (2006-09-01)
• Lifescapes & governance: The Régulo system in Central Mozambique (2006-09-01)
• Briefings (2006-09-01)
• Muslim Brotherhood in Egypt & Sudan (2006-09-01)
• Beyond Knowledge to Wisdom in International Business Strategy (2006-09-01)
• The world bank & urban programmes in Zimbabwe: A critical appraisal (2006-09-01)
• Religion, Ideology & Conflict in Africa (2006-09-01)
• The Universal Algebra of Computational Effects: Lawvere Theories and Monads (2006-07-01)
• Implementing a Normalizer Using Sized Heterogeneous Types (2006-07-01)
• The Essence of the ITERATOR Pattern (2006-07-01)
• Program Fusion with Paramorphisms (2006-07-01)
• Workshop on Mathematically Structured Functional Programming (MSFP 2006) - Index (2006-07-01)
• Verification of Programs on Truly Nested Datatypes in Intensional Type Theory (2006-07-01)
• Compact Fusion (2006-07-01)
• Freyd is Kleisli, for Arrows (2006-07-01)
• Monadic Reflection in Haskell (2006-07-01)
• Algebras for Combinatorial Search (2006-07-01)
• Parameterised Notions of Computation (2006-07-01)
• Tait in One Big Step (2006-07-01)
• Autonomy & Intifadah : New Horizons in Western Saharan Nationalism (2006-06-01)
• Review Article: Is State Building the Road to World Order? (2006-06-01)
• ICT and Australia’s Productivity Growth: Understanding the Relationship (2006-06-01)
• Book Reviews (2006-06-01)
• Broadband Technologies in Australia 1993–98: Developing the Social Shaping of Technology Approach (2006-06-01)
• Achieving Effective Cross‐Sector R&D Collaboration: A Proposed Management Framework (2006-06-01)
• ‘Between a rock & a hard place’: North Africa as a region of emigration, immigration & transit migration (2006-06-01)
• State welfare in Egypt since adjustment: Hegemonic control with a minimalist role (2006-06-01)
• Security & insecurity in North Africa (2006-06-01)
• Libya: Reforming the impossible? (2006-06-01)
• Contributors to this Issue (2006-06-01)
• Briefings (2006-06-01)
• Domination & control in Tunisia: Economic levers for the exercise of authoritarian power (2006-06-01)
• America, China & the Scramble for Africa's Oil (2006-06-01)
• Theatre / book reviews (2006-06-01)
• North Africa: Power, politics & promise (2006-06-01)
• Fostering Multidisciplinary Engagement: Communication Challenges for Social Research on Emerging Digital Technologies (2006-06-01)
• The political contradictions of Algerian economic reforms (2006-06-01)
• Experiences of Performance Tuning Software Product Family Architectures Using a Scenario-Driven Approach (2006-04-01)
• Simulation of Experiments for Data Collection – a replicated study (2006-04-01)
• Conducting a Systematic Literature Review from the Perspective of a Ph.D. Student (2006-04-01)
• Software Product Lines in Value Based Software Engineering (2006-04-01)
• A Coupling Framework for AspectJ (2006-04-01)
• Reusability Ranking of Software Components by Coupling Measure (2006-04-01)
• Trust in Software Outsourcing Relationships: An Analysis of Vietnamese Practitioners’ Views (2006-04-01)
• Prediction of Overoptimistic Predictions (2006-04-01)
• 10th International Conference on Evaluation and Assessment in Software Engineering (EASE) - Index (2006-04-01)
• Software Modernization and Replacement Decision Making in Industry: A Qualitative Study (2006-04-01)
• Experiences Using Systematic Review Guidelines (2006-04-01)
• An empirical study of approaches to determining the semantic relatedness of web pages (2006-04-01)
• Assessing the Quality and Cleaning of a Software Project Dataset: An Experience Report (2006-04-01)
• Do Programmer Pairs make different Mistakes than Solo Programmers? (2006-04-01)
• Assessing the value of Architectural Information Extracted from Patterns for Architecting (2006-04-01)
• A Systematic Review of Cross- vs. Within-Company Cost Estimation Studies (2006-04-01)
• The Simula Approach to Experimentation in Software Engineering (2006-04-01)
• Kenya: Conflict in the ‘Badlands’: The Turbi massacre in Marsabit district (2006-03-01)
• Negotiating Ethnicity: Identity politics in contemporary Kenya (2006-03-01)
• Policy Initiative Dilemmas Surrounding Media Convergence: A Cross National Perspective (2006-03-01)
• Ireland’s National Innovation System: An Exploratory Study of Supporting Institutions and Dynamic Actors (2006-03-01)
• Book Reviews (2006-03-01)
• Addendum (2006-03-01)
• ‘Low‐tech’ Industries: Innovativeness and Development Perspectives—A Summary of a European Research Project (2006-03-01)
• Constructing Advantage: Distributed Innovation and the Management of Local Economic Growth (2006-03-01)
• State, class & civil society in Africa (2006-03-01)
• The gender of wealth: markets & power in Central Kenya (2006-03-01)
• Playing politics with the mobile phone in Nigeria: civil society, big business & the state (2006-03-01)
• Review Article: Unmasking Americanization: de Grazia’s Irresistible Market Empire Advancing through Twentieth Century Europe (2006-03-01)
• In search of economic development in Kenya: Colonial legacies & post-independence realities (2006-03-01)
• Class relations: AIDS & socioeconomic privilege in Africa (2006-03-01)
• English Spelling Reform (2006-03-01)
• Contributors to this Issue (2006-03-01)
• Briefings (2006-03-01)
• Book reviews (2006-03-01)
• The politics of control in Kenya: Understanding the bureaucratic-executive state, 1952–78 (2006-03-01)