In this paper we present the speciication of an \invoicing system": two versions of it are shown. The rst does not take into account any interaction with the environment while the second considers it. The speciications are written in PoliS, a coordination language based on multiple tuple spaces. The operational semantics of PoliS allows the speciication of behavioral aspects of the systems enha...

<p class="AbstractTitle">Ritel modern di Kota Semarang berkembang pesat, sehingga penentuan lokasinya perlu diperhatikan agar dapat memberikan pelayanan yang efisien. Dalam menentukan lokasi ritel baik, faktor aksesibilitas menjadi penting mudah terjangkau oleh pengunjung. Analisis <em>space syntax</em> merupakan alat digunakan untuk menganalisis melalui 3 variabel utama yaitu...

BACKGROUND Neighborhood walkability has been shown to be associated with walking behavior. However, the availability of geographical data necessary to construct it remains a limitation. Building on the concept of space syntax, we propose an alternative walkability index, space syntax walkability (SSW). This study examined associations of the full walkability index and SSW with walking for trans...

In this paper, we propose a syntax-based text retrieval system for on-line language learning and use a fast regular expression search engine as its main component. Regular expression searches provide more scalable querying and search results than keyword-based searches. However, without a well-designed index scheme, the execution time of regular expression search would be unacceptable to users....