71 resultados para Discrete Mathematics in Computer Science
Resumo:
The future convergence of voice, video and data applications on the Internet requires that next generation technology provides bandwidth and delay guarantees. Current technology trends are moving towards scalable aggregate-based systems where applications are grouped together and guarantees are provided at the aggregate level only. This solution alone is not enough for interactive video applications with sub-second delay bounds. This paper introduces a novel packet marking scheme that controls the end-to-end delay of an individual flow as it traverses a network enabled to supply aggregate- granularity Quality of Service (QoS). IPv6 Hop-by-Hop extension header fields are used to track the packet delay encountered at each network node and autonomous decisions are made on the best queuing strategy to employ. The results of network simulations are presented and it is shown that when the proposed mechanism is employed the requested delay bound is met with a 20% reduction in resource reservation and no packet loss in the network.
Resumo:
Annotation of programs using embedded Domain-Specific Languages (embedded DSLs), such as the program annotation facility for the Java programming language, is a well-known practice in computer science. In this paper we argue for and propose a specialized approach for the usage of embedded Domain-Specific Modelling Languages (embedded DSMLs) in Model-Driven Engineering (MDE) processes that in particular supports automated many-step model transformation chains. It can happen that information defined at some point, using an embedded DSML, is not required in the next immediate transformation step, but in a later one. We propose a new approach of model annotation enabling flexible many-step transformation chains. The approach utilizes a combination of embedded DSMLs, trace models and a megamodel. We demonstrate our approach based on an example MDE process and an industrial case study.
Resumo:
University Science Park incubators (USIs) have emerged as a means by which Government, academia and business can develop high technology business firms (spin out HTBFs) from initial conception through to becoming established small firms, which are ready to move beyond the Science Park confines. Although there is considerable literature on how USIs can be improved and developed there is a paucity of studies, which explore how lifecycle development within HTBFs in USIs can affect how they use the unique resources and opportunities of the USI. Moreover, there is a focus on single point in time studies, which do not adequately investigate the longitudinal dynamics of HTBF lifecycle development within USIs. Therefore, the aim of this paper is to explore the longitudinal use of the unique resources of the USI by HTBFs at different lifecycle stages. The research methodology involved 18 HTBFs within two separate USIs. A series of longitudinal interviews and focus groups were conducted with HTBFs and USI staff over a 36-month period. NUD*IST software was used in developing the coding and analysis of transcripts. The results show that a HTBF's propensity to make effective use of the USI's resources and support increases as the lifecycle stage of the company increases and the small-firm searches for independence and autonomy. Therefore, further research is required to investigate the following two outstanding questions; firstly, which usage pattern is associated with the HTBF's ultimate success or failure in the marketplace? And secondly, are there any services missing from the observed array that the USI could provide to enhance the HTBF's degree of ultimate success? © 2007 Elsevier Ltd. All rights reserved.
Resumo:
The occurrence of single-site or multisite localized vibrational modes, also called discrete breathers, in two-dimensional hexagonal dusty plasma lattices is investigated. The system is described by a Klein-Gordon hexagonal lattice characterized by a negative coupling parameter epsilon in account of its inverse dispersive behavior. A theoretical analysis is performed in order to establish the possibility of existence of single as well as three-site discrete breathers in such systems. The study is complemented by a numerical investigation based on experimentally provided potential forms. This investigation shows that a dusty plasma lattice can support single-site discrete breathers, while three-site in phase breathers could exist if specific conditions, about the intergrain interaction strength, would hold. On the other hand, out of phase and vortex three-site breathers cannot be supported since they are highly unstable.