In the paper, a smart location-based mobile shopping application for Android devices is proposed. The Geo-position of the user’s mobile device is utilized to produce location information in shopping application (SAGO...In the paper, a smart location-based mobile shopping application for Android devices is proposed. The Geo-position of the user’s mobile device is utilized to produce location information in shopping application (SAGO). The flow of the application is that user searches a product, and then SAGO identifies the location and searches the product on the closest electronic local stores. The idea is to get the prices from each local store with in stock information and smartly listed product list. With the proposed smart filtering algorithm, mobile shopping application achieves precise and minimum error based on searching and listing results.展开更多
In Jewish City in Casimir--historical district of Cracow, Jewish culture manifested its original architectural style based mostly on specific detail. Perception of this type of architectural detail depends, basically,...In Jewish City in Casimir--historical district of Cracow, Jewish culture manifested its original architectural style based mostly on specific detail. Perception of this type of architectural detail depends, basically, on knowledge of the Jewish culture. Proper understanding of meaning of the Jewish architectural detail depends on complex relations between Jewish tangible and intangible culture. Nowadays, it is especially important, according to relatively fast revitalization of the district. All renovation works require specific approach taking into account differences based on cultural diversity. Moreover, the understanding of the Jewish architectural detail is strictly connected with both history of Jews and Poles. One thousand years of cohabitation allowed to understand the economical and, partially, social differences, but not cultural at whole. The main aim of the article is to present chosen cultural and non-cultural factors, affecting the perception of the Jewish architectural detail in Casimir.展开更多
XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produ...XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produces formal models in SPIN’s ProMeLa formal verification language, which can then be formally analysed using SPIN’s model checker. XCD is extended with a visual notation set called VXCD. VXCD extends UML’s component diagram and adapts it to XCD’s structure, contractual behaviour, and interaction protocol specifications. Visual VXCD specifications can be translated into textual XCD specifications for formal analysis. To illustrate VXCD, the well-known gas station system is used. The gas system is specified contractually using VXCD’s visual notation set and then formally analysed using SPIN’s model checker for a number of properties including deadlock and race-condition.展开更多
文摘In the paper, a smart location-based mobile shopping application for Android devices is proposed. The Geo-position of the user’s mobile device is utilized to produce location information in shopping application (SAGO). The flow of the application is that user searches a product, and then SAGO identifies the location and searches the product on the closest electronic local stores. The idea is to get the prices from each local store with in stock information and smartly listed product list. With the proposed smart filtering algorithm, mobile shopping application achieves precise and minimum error based on searching and listing results.
文摘In Jewish City in Casimir--historical district of Cracow, Jewish culture manifested its original architectural style based mostly on specific detail. Perception of this type of architectural detail depends, basically, on knowledge of the Jewish culture. Proper understanding of meaning of the Jewish architectural detail depends on complex relations between Jewish tangible and intangible culture. Nowadays, it is especially important, according to relatively fast revitalization of the district. All renovation works require specific approach taking into account differences based on cultural diversity. Moreover, the understanding of the Jewish architectural detail is strictly connected with both history of Jews and Poles. One thousand years of cohabitation allowed to understand the economical and, partially, social differences, but not cultural at whole. The main aim of the article is to present chosen cultural and non-cultural factors, affecting the perception of the Jewish architectural detail in Casimir.
文摘XCD is a design-by-contract based architecture description language that supports modular specifications in terms of components and connectors (i.e., interaction protocols). XCD is supported by a translator that produces formal models in SPIN’s ProMeLa formal verification language, which can then be formally analysed using SPIN’s model checker. XCD is extended with a visual notation set called VXCD. VXCD extends UML’s component diagram and adapts it to XCD’s structure, contractual behaviour, and interaction protocol specifications. Visual VXCD specifications can be translated into textual XCD specifications for formal analysis. To illustrate VXCD, the well-known gas station system is used. The gas system is specified contractually using VXCD’s visual notation set and then formally analysed using SPIN’s model checker for a number of properties including deadlock and race-condition.
