The Scalable-Delay-Insensitive (SDI) model is proposed for high-performance asynchronous system design. In this paper, we focus on checking whether a circuit under SDI model satisfies some untimed properties, and formally show that checking these properties in the SDI model can be reduced to checking the same properties in the bounded delay model. This result suggests that the existing verifica...

Many countries throughout the world believe they can benefit both economically and environmentally from better management of their spatial data assets, enabling them to access and retrieve complete and consistent datasets in an easy and secure way. This has resulted in the development of the Spatial Data Infrastructure (SDI) concept at various political and/or administrative levels. The SDI con...

Stimulant-dependent individuals (SDI) have abnormal brain metabolism and structural changes involving dopaminergic target areas important for the processing of time. These individuals are also more impulsive and impaired in working memory and attention. The current study tested whether SDI show altered temporal processing in relation to impulsivity or impaired prefrontal cortex functioning. We ...

The paper argues that SDI can best be understood in terms of praxis more than as technological artefact. Because of the many different and often conflicting views of reality, interests and other values between the many heterogeneous actors that are involved, SDI development causes inevitably paradoxes and dilemmas. The paper assumes that SDI is context specific but also has the generic properti...

Spatial Data Infrastructure (SDI) is a concept that aids in discovering, sharing, and using geospatial data. Nevertheless, given the breadth of this concept, several ways of developing SDI have emerged. The International Cartographic Association (ICA) has proposed a formal model to describe SDIs irrespective of technologies and implementations by using three of the five viewpoints of the RMODP ...

Organisational arrangements have long been recognised as a critical enabler and fundamental component of Spatial Data Infrastructure (SDI). More recently, the term “governance” has become increasingly used to refer to aspects of institutional frameworks that support SDI. However, given the polysemous nature of the term and the evolving nature of approaches to implementing SDI, it not clear exac...

This paper aims to introduce and discuss six challenges and issues facing the development of SDIs which will be able to meet the sustainable development objectives of society. These issues and challenges include: SDI to facilitate spatially enabled government Role of government, private and academic sectors Development of SDI vision, mission and road map – where are we heading? SDI to facilitat...