Safe Compositional Specification of Networking Systems: TRAFFIC The Language and Its Type Checking

This paper formally defines the operational semantic for TRAFFIC, a specification language for flow composition applications proposed in BUCS-TR-2005-014, and presents a type system based on desired safety assurance. We provide proofs on reduction (weak-confluence, strong-normalization and unique normal form), on soundness and completeness of type system with respect to reduction, and on equivalence classes of flow specifications. Finally, we provide a pseudo-code listing of a syntax-directed type checking algorithm implementing rules of the type system capable of inferring the type of a closed flow specification.

Campaigns Against Incineration in Ireland - North and South: Framing Networking and Political Opportunities

An analysis of community-based campaigns opposing waste incineration and advocating 'zero waste' policies in Ireland, North and South.

Dramaturgy as a Model for Geographically Displaced Collaborations: Views from Within and Views from Without

The network is currently not only widely used for performative actions, but also extensively theorised. However, the artistic strategies in networked environments and the ways in which these new performance practices and cultural contexts can give rise to new design approaches have not been equally explored. This article therefore investigates the notion of dramaturgy as it provides a useful framework for addressing design strategies and performative relationships in networked environments. It is argued that dramaturgies suggest a robust method for understanding artistic practices in the network. The author refers to two different viewpoints that emerge in networked practice, which are entitled ;views from within' and ;views from without'. The article gives a brief overview of the history and the theories of the network. It then looks at the histories of dramaturgies in order to better understand artistic strategies, and in order to enhance collaborative work in network performance environments.

Use and views on social networking sites of pharmacy students in the United Kingdom

Objective. To investigate students' use and views on social networking sites and assess differences in attitudes between genders and years in the program.

Methods. All pharmacy undergraduate students were invited via e-mail to complete an electronic questionnaire consisting of 21 questions relating to social networking.

Results. Most (91.8%) of the 377 respondents reported using social networking Web sites, with 98.6% using Facebook and 33.7% using Twitter. Female students were more likely than male students to agree that they had been made sufficiently aware of the professional behavior expected of them when using social networking sites (76.6% vs 58.1% p=0.002) and to agree that students should have the same professional standards whether on placement or using social networking sites (76.3% vs 61.6%; p<0.001).

Conclusions. A high level of social networking use and potentially inappropriate attitudes towards professionalism were found among pharmacy students. Further training may be useful to ensure pharmacy students are aware of how to apply codes of conduct when using social networking sites.

Secure Communications in Smart Grid: Networking and Protocols

The key attributes of a smarter power grid include: pervasive interconnection of smart devices; extensive data generation and collection; and rapid reaction to events across a widely dispersed physical infrastructure. Modern telecommunications technologies are being deployed across power systems to support these monitoring and control capabilities. To enable interoperability, several new communications protocols and standards have been developed over the past 10 to 20 years. These continue to be refined, even as new systems are rolled out.

This new hyper-connected communications infrastructure provides an environment rich in sub-systems and physical devices that are attractive to cyber-attackers. Indeed, as smarter grid operations become dependent on interconnectivity, the communications network itself becomes a target. Consequently, we examine cyber-attacks that specifically target communications, particularly state-of-the-art standards and protocols. We further explore approaches and technologies that aim to protect critical communications networks against intrusions, and to monitor for, and detect, intrusions that infiltrate Smart Grid systems.

Systematically retrieving research in the digital age: Case study on the topic of social networking sites and young people’s mental health

Online information seeking has become normative practice among both academics and the general population. This study appraised the performance of eight databases to retrieve research pertaining to the influence of social networking sites on the mental health of young people. A total of 43 empirical studies on young people’s use of social networking sites and the mental health implications were retrieved. Scopus and SSCI had the highest sensitivity with PsycINFO having the highest precision. Effective searching requires large
generic databases, supplemented by subject-specific catalogues. The methodology developed here may provide inexperienced searchers, such as undergraduate students, with a framework to define a realistic scale of searching to undertake for a particular literature review or similar project.

Advancements and Challenges towards a Collaborative Framework for 3D Tele-Immersive Social Networking

Social experiences realized through teleconferencing systems are still quite different from face to face meetings. The awareness that we are online and in a, to some extent, lesser real world are preventing us from really engaging and enjoying the event. Several reasons account for these differences and have been identified. We think it is now time to bridge these gaps and propose inspiring and innovative solutions in order to provide realistic, believable and engaging online experiences. We present a distributed and scalable framework named REVERIE that faces these challenges and provides a mix of these solutions. Applications built on top of the framework will be able to provide interactive, truly immersive, photo-realistic experiences to a multitude of users that for them will feel much more similar to having face to face meetings than the experience offered by conventional teleconferencing systems.

Replicating the Networking, Mentoring and Venture Creation Benefits of Entrepreneurship Centres on a Shoestring: A Student-centred Approach to Entrepreneurship Education and Venture Creation

As support for both university-level entrepreneurial education and the use of experiential learning methods to foster student entrepreneurs increases, so too have the number of university-established or affiliated entrepreneurship centers. The activity at the center of this study aimed to combine experiential learning methods with assets associated with entrepreneurship centers, including venture creation, networking, and mentoring. Students were invited to participate in a competition wherein they were guided through the business creation process and pitched their ideas to investor judges who chose the winner and provided capital start-up funding and consulting. This research puts forth that university faculty at institutions without entrepreneurship centers can organize experiences to provide the benefits of entrepreneurship centers. The study used interviews to find that many of the benefits of entrepreneurship centers were able to be replicated using this method. The project is outlined, outcomes are analyzed, and the results and lessons learned are discussed.