Stochastic model checking is a recent extension of traditional modelchecking techniques for the integrated analysis of both qualitative and quantitative system properties. In this paper we show how stochastic model checking can be conveniently used to address a number of usability concerns that involve quantitative aspects of a user interface for the industrial groupware system thinkteam. think...

this study aimed at investigating the impact of utilizing call on efl learners’ foreign accent reduction. to this end, 62 participants out of 100 undergraduate freshman english students at islamic azad university central tehran branch were ed based on a piloted sample pet and a text-to-read. the ed participants were then nonrandomly assigned to an experimental and a control group, each containi...

When conducting autonomous scanning for the online reconstruction of unknown indoor environments, robots have to be competent at exploring scene structure and reconstructing objects with high quality. Our key observation is that different tasks demand specialized properties robots: rapid moving speed far vision global exploration slow narrow local object reconstruction, which are referred as tw...

This paper aims at contributing to an understanding of using online learning communities in teachers’ professional development the context lifelong learning. To investigate that, this study is designed as a systematic review. Research questions are indented reveal what most repeated keywords combining with and/or are, main characteristics participants trends and difficulties published works on ...

The recent coronavirus disease of 2019 (COVID-19) pandemic possibly represents a catalyst for broader changes looming ahead higher education, which includes shift to online learning. Researchers have proven synchronous learning components reduce the transactional distance that students experience in environments, and such play an important role many information systems (IS) courses. However, wh...

Hyper-lectures support distance learning and traditional lecturing based learning. They can be used in asynchronous and synchronous, collaborative learning scenarios. Three scenarios and their implementation with DreamTeam, a general groupware development and runtime environment, are addressed.

Whatever Media Studies 2.0 involves, one thing is certain, there is a need to confront and deal with new technologies, most notably computers and computer networks. Despite the fact that the discipline has largely marginalized these innovations, there has been some effort to incorporate the computer into both the theories and practices of media studies. This has been accomplished, at least in t...

Design representation is not only used to document the final design for construction; it is essential for the development and communication of design ideas. With recent developments in CAD and communications technologies, the way we represent and visualize designs is changing. In this paper we canvass the results of experiments examining the effect of different communication channels in collabo...