Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both the requirements for software systems and the processes by which systems are developed suggest that domain-specific model checking engines may be more effective than general purpose model checking tools. To overcome limit...

Nowadays, publish-subscribe (pub-sub) and event-based architecture are frequently used for developing loosely coupled distributed systems. Hence, it is desirable to find a proper solution to specify different systems through these architectures. Abstract state machine (ASM) is a useful means to visually and formally model pub-sub and eventbased architectures. However, modeling per se is not eno...

Today, distributed systems with loose connections are increasingly developed using event-based architectures. In these architectures, systems are composed of separate components which cooperate dynamically. The communication and cooperation of components in these architectures are done through event passing mechanisms. The main challenge in these architectures is to define a framework to model ...

Higher education institutions in emerging regions of the world are increasingly expected (largely by their governments and community) to promote regional economic development and national competitiveness. This case study on one of the prominent academic universities in Indonesia e Bogor Agricultural University (Institut Pertanian Bogor, IPB) e highlights its successes and lessons learned in man...

Department of Ecology and Environmental Science, Umeå University, 90187 Umeå, Sweden Woods and Wayside International, Princeton, NJ, USA Center for International Forestry Research, Bogor, Indonesia d Institute of Tropical Forest Conservation, Kibale, Uganda e Food and Agriculture Organisation of the United Nations (FAO), Yaounde, Cameroon f Technical Training and Research Centre for Development...

We describe an outbreak of Cyclospora cayetanensis infection among Dutch participants at a scientific meeting in September 2001 in Bogor, Indonesia. Fifty percent of the investigated participants were positive for C. cayetanensis. To our knowledge, this outbreak is the first caused by C. cayetanensis among susceptible persons in a disease-endemic area.