• Title/Summary/Keyword: Abstract Systems

Search Result 402, Processing Time 0.03 seconds

A Test of the Psychological Distance Effect for Online Travel Reviews Based on Construal-Level Theory

  • Seunghun Shin;Namho Chung;Doyong Kang;Chulmo Koo
    • Asia pacific journal of information systems
    • /
    • v.27 no.4
    • /
    • pp.216-232
    • /
    • 2017
  • This study's objective is to use the construal-level theory (CLT) to explore the effect of the utility of online travel reviews on tourists' perception. To accomplish this goal, online travel reviews are divided into two different categories based on concreteness, and the usefulness of each review is compared with the temporal dimension of psychological distance. The results show that close future tourists are more influenced by concrete reviews than abstract reviews; however, the far future tourists are more influenced by abstract reviews than concrete reviews. Based on these results, theoretical and practical implications are discussed, and suggestions are made for future research.

A Formal Probabilistic Specification Method for Analysis of Real Time Systems (실시간 시스템 분석을 위한 확률 명세 방법)

  • Jang, Eun-Min;Lee, Chul;Lee, Moon-Kun
    • Proceedings of the Korean Information Science Society Conference
    • /
    • 2002.04b
    • /
    • pp.424-426
    • /
    • 2002
  • PATM(Probabilistic Abstract Timed Machine) [1]은 시스템의 진행 중 다양한 환경 요인에 의해 발생하는 불확실성을 명세하기 위해 개발된 정형 명세 기법이다. PATM으로 명세한 시스템은 도달성 그래프를 분석하게 된다. 본 논문에서는 다양한 물리적 환경 요소를 고려하여 시스템을 분석하는 과정에서 발생하는 실행모델의 복잡도를 줄이기 위한 방법을 제시한다.

  • PDF

An Analog Voltage-mode Sorter For Real-time Signal Processing

  • Chaikla, Amphawan;Jaruwanawat, Anuchit;Riewruja, Vanchai
    • 제어로봇시스템학회:학술대회논문집
    • /
    • 2002.10a
    • /
    • pp.87.1-87
    • /
    • 2002
  • $\textbullet$ Abstract $\textbullet$ Introduction $\textbullet$ Circuit Description $\textbullet$ Simulation Results $\textbullet$ Conclusion

  • PDF