Browsing by Subject "Computer science"
Now showing items 1-20 of 56
-
Adding Recursion to Dpi. (Extended Abstract)
(Electronic Notes in Theoretical Computer Science, 2006)Dpi is a distributed version of the pi-calculus, in which processes are explicitly located, and a migration construct may be used for moving between locations. We argue that adding a recursion operator to the language ... -
Analysing Irish Prosody: a dual linguistic/quantitative approach
(2004)A project of Irish prosody is described which attempts to provide not only the basis for a linguistic description of the prosody of Irish dialects, but also the prerequisite quantitative characterization that is needed ... -
Assimilating Information and Offering a Medical Opinion in Remote and Co-located Meetings
(IEEE, 2009)Discussion on patient data, among hospital staff, plays an increasingly important role in inter-specialist communication. Effectiveness of a discussion depends, among other factors, on how well its participants perceive, ... -
Automatic Metadata Mining from Multilingual Enterprise Content
(2012)Personalization is increasingly vital especially for enterprises to be able to reach their customers. The key challenge in supporting personalization is the need for rich metadata, such as metadata about structural ... -
Automatic parameterisation of the glottal waveform combining time and frequency domain measures
(2009)This paper describes a new technique for automatically parameterising the inverse filtered speech waveform by exploiting frequency domain measures and amplitude measures in the time domain. The technique is motivated by ... -
Binding- and Port-Agnostic Service Composition using a P2P SOA
(IBM T.J. Watson Research Center, 2005)The assumption of the availability of port information at design time of service compositions in Service-Oriented Architectures (SOAs) is not valid for an increasing number of hosts on the Internet that do not have a ... -
Bisimulation Congruences in Safe Ambients (extended abstract).
(2002)We develop a semantics theory for SAP, a variant of Levi and Sangiorgi?s Safe Ambients, SA. The dynamics of SA relies upon capabilities (and co-capabilities) exercised by mobile agents, called ambients, to interact with ... -
Channel Assignment Based on Routing Decisions (CARD): Traffic-Dependent Topology Control for Multi-Channel Networks
(2009-06)Dynamic spectrum access (DSA) holds the promise for more efficient utilization of the spectrum, while requiring greater cooperation between PHY, MAC, and NET layers to allocate resources and dynamically react to changing ... -
Communicating Transactions
(Springer, 2010)We propose a novel language construct called communicating transactions, obtained by dropping the isolation requirement from classical transactions, which can be used to model automatic error re- covery in distributed ... -
Communication Paradigms for Mobile Computing
(ACM, 2002)The widespread deployment and use of wireless data communications causes the need for middleware to interconnect the components that comprise a mobile application. Middleware for mobile computing must deal with the ... -
Counting the cost in the picalculus.
(Elsevier Science Publishers B. V, 2009)We design a new variation on the picalculus, ?cost, in which the use of channels or resources must be paid for. Processes operate relative to a cost environment, and communications can only happen if principals have ... -
Creating an ongoing research capability in speech technology for two minority languages: experiences from the WISPR project
(2005)This paper reports on efforts to set up a research capability in speech technology for two minority languages (Welsh and Irish), where the focus is on ensuring that this capability will outlive the project that provided ... -
Dialect alignment signatures
(ISCA, 2006)This paper considers the hypothesis that dialects may have characteristic patterns in the alignment of the melodic contour with the segmental or syllabic tiers. Peak alignment was measured in initial prenuclear accented ... -
Discovery of Stable Peers in a Self-Organising Peer-to-Peer Gradient Topology
(Springer-Verlag, 2006)Peer-to-peer (P2P) systems are characterised by a wide disparity in peer resources and capabilities. In particular, a number of measurements on deployed P2P systems show that peer stability (e.g. uptime) varies by several ... -
Experiences from the Iris Testbed in Dynamic Spectrum Access and Cognitive Radio Experimentation
(2010)The focus of this paper is an experimentation platform known as Iris that has a runtime reconfigurable software radio at its core. We have employed this platform to enable a wide variety of tests and experimentation in the ... -
High-Bandwidth Mesh-based Overlay Multicast in Heterogeneous Environments
(ACM Press, 2006)In this paper we present MeshCast, a peer-to-peer (p2p) multicast protocol for applications requiring high bandwidth (such as live video streaming) from a server to a large number of receivers. Traditional tree-based ...