Maximum Production Of Transmission Messages Rate For Service Discovery Protocols

Minimizing the number of dropped User Datagram Protocol (UDP) messages in a network is regarded as a challenge by researchers. This issue represents serious problems for many protocols particularly those that depend on sending messages as part of their strategy, such us service discovery protocols. This paper proposes and evaluates an algorithm to predict the minimum period of time required between two or more consecutive messages and suggests the minimum queue sizes for the routers, to manage the traffic and minimise the number of dropped messages that has been caused by either congestion or queue overflow or both together. The algorithm has been applied to the Universal Plug and Play (UPnP) protocol using ns2 simulator. It was tested when the routers were connected in two configurations; as a centralized and de centralized. The message length and bandwidth of the links among the routers were taken in the consideration. The result shows Better improvement in number of dropped messages `among the routers

The enumeration of simultaneous higher-order contacts between plane curves

Using the Semple bundle construction, we derive an intersection-theoretic formula for the number of simultaneous contacts of specified orders between members of a generic family of degree $d$ plane curves and finitely many fixed curves. The contacts counted by the formula occur at nonsingular points of both the members of the family and the fixed curves.Comment: 32 pages, AmS-TeX v2.1 (Revised statement and proof of one lemma; other minor changes.

Cartan Prolongation of a Family of Curves Acquiring a Node

Using the monster/Semple tower construction, we study the structure of the Cartan prolongation of the family $x_1x_2 = t$ of plane curves with nodal central member

Building on the DEPLOY Legacy: Code Generation and Simulation

The RODIN, and DEPLOY projects laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B. Our current interest is the co-simulation of cyber-physical systems using Event-B. Using this approach we aim to simulate various features of the environment separately, in order to exercise deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machines, to simulate the environment, and simulate concurrently executing state-machines, in a single task. We show how we can instrument the code to guide the simulation, by controlling the relative rate that non-deterministic transitions are traversed in the simulation.Comment: In Proceedings of DS-Event-B 2012: Workshop on the experience of and advances in developing dependable systems in Event-B, in conjunction with ICFEM 2012 - Kyoto, Japan, November 13, 201

Understanding the impact of eldercare on working women’s lives:a pilot study

1. Responsibility for elder care is now a major issue for families, especially women. It often has an adverse impact on their economic and social well-being. Combining employment with elder care presents particular challenges. 2. Our survey suggests that around half the University's staff have elder care responsibilities, and more expect to take on elder care in the future. 3. There is a considerable additional burden of work for elder carers, which can be very stressful: • these staff are very conscientious about maintaining high levels of performance at work • most of them undertake elder care after working hours and one day per weekend, on top of caring for their own household and children/grandchildren • elder care is more unpredictable than childcare, typically including more and longer crises • although external support services (e.g. from local authorities) may exist, staff are often unaware of these, and elders frequently refuse to accept them. 4. Elder care impacts negatively on women's career development, including by limiting their ability to study for qualifications, undertake research, or seek promotion. This is particularly stressful for women academics now required to do a doctorate, some of whom have had to suspend studies. 5. Flexibility in the workplace, and information about available support (both within the University and from external services) emerge as key issues in enabling women to manage these challenges. 6. The role of line managers in helping women achieve flexibility is crucial. Whilst some appear to be helpful regarding elder care issues, others are unaware or unsupportive. There is currently no specific attention to elder care issues in managers’ training or induction. 7. The University Counselling Service is viewed by line managers as an essential resource for staff involved in elder care, especially following bereavement. However, it is not completely confidential, as line managers' approval is needed for faculties/services to pay for the service. 8. Few staff involved in elder care are aware of University family-friendly policies that may apply to them. Some who had searched for these on the intranet had been unable to find relevant information. 9. HR staff are not aware of the extent of elder care as an issue for staff at the University, and it is not monitored. HR receive requests for dependents' leave for childcare but not for elder care

Building on the DEPLOY legacy: code generation and simulation

The RODIN, and DEPLOY projects have laid solid foundations for further theoretical, and practical (methodological and tooling) advances with Event-B; we investigated code generation for embedded, multi-tasking systems. This work describes activities from a follow-on project, ADVANCE; where our interest is co-simulation of cyber-physical systems. We are working to better understand the issues arising in a development when modelling with Event-B, and animating with ProB, in tandem with a multi-simulation strategy. With multi-simulation we aim to simulate various features of the environment separately, in order to exercise the deployable code. This paper has two contributions, the first is the extension of the code generation work of DEPLOY, where we add the ability to generate code from Event-B state-machine diagrams. The second describes how we may use code, generated from state-machines, to simulate the environment, and simulate concurrently executing state-machines, in a single task. We show how we can instrument the code to guide the simulation, by controlling the relative rate that non-deterministic transitions are traversed in the simulation