Invasive plants: representativeness of research from tropical countries in the global context

Biological invasions threaten the native biota of several countries and this threat is even greater in the tropical regions that have the greatest biodiversity. In order to evaluate the representativeness of studies on invasive plants in tropical countries compared to the world, as well as the region of origin and habits of the most reported invasive plants in research, we analyzed the publications from eight of the most important international journals that address the theme, from January 1995 to December 2004. The articles on biological invasions were classified as theoretical or as case studies, and according to their approach, main question, where the study was conducted, region of origin and habit of the invasive plant. Case studies predominated, as did questions about the environment`s susceptibility to the invasion, the species` invasive power and the impacts it had. The most reported invasive species were herbaceous plants from Asia and Europe. Few articles address tropical environments and only one referred to Brazil. Most referred to North America and Europe. This small number of publications in the tropics indicates the need for a global projection on this subject and underscores the lack of consistent and organized data to understand the phenomenon and propose effective strategies to combat biological invasion.

Prospects for biodiversity conservation in the Atlantic Forest: Lessons from aging human-modified landscapes

Recent global assessments have shown the limited coverage of protected areas across tropical biotas, fuelling a growing interest in the potential conservation services provided by anthropogenic landscapes. Here we examine the geographic distribution of biological diversity in the Atlantic Forest of South America, synthesize the most conspicuous forest biodiversity responses to human disturbances, propose further conservation initiatives for this biota, and offer a range of general insights into the prospects of forest species persistence in human-modified tropical forest landscapes worldwide. At the biome scale, the most extensive pre-Columbian habitats across the Atlantic Forest ranged across elevations below 800 masl, which still concentrate most areas within the major centers of species endemism. Unfortunately, up to 88% of the original forest habitat has been lost, mainly across these low to intermediate elevations, whereas protected areas are clearly skewed towards high elevations above 1200 masl. At the landscape scale, most remaining Atlantic Forest cover is embedded within dynamic agro-mosaics including elements such as small forest fragments, early-to-late secondary forest patches and exotic tree mono-cultures. In this sort of aging or long-term modified landscapes, habitat fragmentation appears to effectively drive edge-dominated portions of forest fragments towards an early-successional system, greatly limiting the long-term persistence of forest-obligate and forest-dependent species. However, the extent to which forest habitats approach early-successional systems, thereby threatening the bulk of the Atlantic Forest biodiversity, depends on both past and present landscape configuration. Many elements of human-modified landscapes (e.g. patches of early-secondary forests and tree mono-cultures) may offer excellent conservation opportunities, but they cannot replace the conservation value of protected areas and hitherto unprotected large patches of old-growth forests. Finally, the biodiversity conservation services provided by anthropogenic landscapes across Atlantic Forest and other tropical forest regions can be significantly augmented by coupling biodiversity corridor initiatives with biota-scale attempts to plug existing gaps in the representativeness of protected areas. (C) 2010 Elsevier Ltd. All rights reserved.

Formal validation of automated policy refinement in the management of network security systems

Policy hierarchies and automated policy refinement are powerful approaches to simplify administration of security services in complex network environments. A crucial issue for the practical use of these approaches is to ensure the validity of the policy hierarchy, i.e. since the policy sets for the lower levels are automatically derived from the abstract policies (defined by the modeller), we must be sure that the derived policies uphold the high-level ones. This paper builds upon previous work on Model-based Management, particularly on the Diagram of Abstract Subsystems approach, and goes further to propose a formal validation approach for the policy hierarchies yielded by the automated policy refinement process. We establish general validation conditions for a multi-layered policy model, i.e. necessary and sufficient conditions that a policy hierarchy must satisfy so that the lower-level policy sets are valid refinements of the higher-level policies according to the criteria of consistency and completeness. Relying upon the validation conditions and upon axioms about the model representativeness, two theorems are proved to ensure compliance between the resulting system behaviour and the abstract policies that are modelled.