@misc{social_capital_technology_low-status, title = {Social Networks, Social Capital, and the Use of Information and Communications. }, author = {Kathleen Hardin Williams}, year = 2005, url = {http://proquest.umi.com/pqdweb?did=1016019581\&Fmt=7\&clientId=13816\&RQT=309\&VName=PQD }, timestamp = {2007.07.06}, owner = {simon}, comment = {zotero}, description = {Technology in Socially-Excluded Communities: A Study of Community Groups in Manchester, England (2005). Proquest citation.}, biburl = {http://www.bibsonomy.org/bibtex/23948325f939d4af9efb38b8e4650f809/avivagabriel}, keywords = {knowledge communities technology communications 2005 outsider study studies capital excluded social low-status networks information communication society status community UK outcast fringes socially tech socially-excluded low} } @article{oliveira05fesca, title = {Modelling the GSM Handover Protocol in CommUnity}, author = {Cristóvão Oliveira and Michel Wermelinger and José Luiz Fiadeiro and Antónia Lopes}, journal = {Electronic Notes in Theoretical Computer Science}, note = {Proc. of the 2nd Intl. Workshop on Formal Foundations of Embedded Systems and Component-Based Software Architectures.}, number = 3, pages = {3-25}, volume = 141, year = 2005, url = {http://mcs.open.ac.uk/mw4687/pubs/2005/oliveira05fesca.pdf}, oro = {1175}, issn = {1571-0661}, doi = {10.1016/j.entcs.2005.06.031}, description = {Invited paper for the Workshop on Formal Foundations of Embedded Systems and Component-Based Software Architectures, of which this issue contains the proceedings.}, abstract = {CommUnity is a formal approach to software architecture. It has a precise, yet intuitive mathematical semantics based on category theory. It supports, at the methodological level, a clear separation between computation, coordination, and distribution (including mobility). It provides a simple state-based language for describing component behaviour that is inspired by Unity and Interacting Processes. It also addresses composition as a first class concern and accounts for the emergence of global system properties from interconnections. This paper describes the approach and available tool support by modelling essential aspects of the GSM handover protocol. We also sketch a framework that we are implementing for the distributed execution of such specifications using Klava, a Java library for mobile agent systems based on tuple spaces.}, biburl = {http://www.bibsonomy.org/bibtex/27625993a4b728d44196d5e7ec6d913d6/michelw}, keywords = {2005 software_architecture myown CommUnity mobility} } @inproceedings{schmitz2005towards, title = {Towards Self-Organizing Communities in Peer-to-Peer Knowledge Management}, address = {Heraklion, Greece}, author = {Christoph Schmitz}, booktitle = {Proc. ESWC 2005 Workshop on Ontologies in Peer-to-Peer Communities}, month = {May}, year = 2005, url = {http://www.kde.cs.uni-kassel.de/schmitz/publ/ontop2p.pdf}, biburl = {http://www.bibsonomy.org/bibtex/212c3d31dac7c7b14d9fc9482425b3957/schmitz}, keywords = {2005 community myown p2p} } @proceedings{haase2005ontologies, title = {Ontologies in Peer-to-Peer Communities}, address = {Heraklion, Greece}, editor = {Peter Haase and Christoph Schmitz and York Sure}, month = {May}, year = 2005, url = {http://www.kde.cs.uni-kassel.de/ws/ontop2p2005}, biburl = {http://www.bibsonomy.org/bibtex/27d5fd542c189588607dd56fed83a82fe/schmitz}, keywords = {2005 community alphabetic myown ontology p2p} } @proceedings{haase2005ontologies, title = {Ontologies in Peer-to-Peer Communities}, address = {Heraklion, Greece}, editor = {Peter Haase and Christoph Schmitz and York Sure}, month = {May}, year = 2005, url = {http://www.kde.cs.uni-kassel.de/ws/ontop2p2005}, biburl = {http://www.bibsonomy.org/bibtex/27d5fd542c189588607dd56fed83a82fe/stumme}, keywords = {zff 2005 community p2p} } @inproceedings{schmitz2005towards, title = {Towards Self-Organizing Communities in Peer-to-Peer Knowledge Management}, address = {Heraklion, Greece}, author = {Christoph Schmitz}, booktitle = {Proc. ESWC 2005 Workshop on Ontologies in Peer-to-Peer Communities}, month = {May}, year = 2005, url = {http://www.kde.cs.uni-kassel.de/schmitz/publ/ontop2p.pdf}, biburl = {http://www.bibsonomy.org/bibtex/212c3d31dac7c7b14d9fc9482425b3957/stumme}, keywords = {zff 2005 community p2p} }