IRMA-International.org: Creator of Knowledge
Information Resources Management Association
Advancing the Concepts & Practices of Information Resources Management in Modern Organizations

Formal Modeling and Verification of Virtual Community Systems

Formal Modeling and Verification of Virtual Community Systems
View Sample PDF
Author(s): Elthon Oliveira (Federal University of Alagoas, Campus Arapiraca, Brazil), Hyggo Almeida (Federal University of Campina Grande, Brazil), Leandro Silva (Federal University of Campina Grande, Brazil), Nadia Milena (Federal University of Campina Grande, Brazil), Frederico Bublitz (Federal University of Campina Grande, Brazil)and Angelo Perkusich (Federal University of Campina Grande, Brazil)
Copyright: 2008
Pages: 8
Source title: Encyclopedia of Networked and Virtual Organizations
Source Author(s)/Editor(s): Goran D. Putnik (University of Minho, Portugal)and Maria Manuela Cruz-Cunha (Polytechnic Institute of Cavado and Ave, Portugal)
DOI: 10.4018/978-1-59904-885-7.ch081

Purchase

View Formal Modeling and Verification of Virtual Community Systems on the publisher's website for pricing and purchasing information.

Abstract

In the last years, virtual community systems (VCS) (Bublitz, Barbosa, & Costa, 2004) have been used as one of the main mechanisms for communication and collaboration among people throughout the world--the people whom use this kind of system compose the socalled virtual community. Several systems providing different features and tools such as forums, e-mails, and videoconference, among others, represent a revolution in the way that people interact with others.

Related Content

Kumar Shalender, Babita Singla. © 2024. 11 pages.
R. Akash, V. Suganya. © 2024. 32 pages.
Prathmesh Singh, Arnav Upadhyaya, Nripendra Singh. © 2024. 14 pages.
Arpan Anand, Priya Jindal. © 2024. 13 pages.
Surjit Singha, K. P. Jaheer Mukthar. © 2024. 26 pages.
M. Vaishali, V. Kiruthiga. © 2024. 14 pages.
Ranjit Singha, Surjit Singha. © 2024. 21 pages.
Body Bottom