Some cryptographic tasks, such as contract signing and other related tasks, need to ensure complex, branching time security properties. When defining such properties one needs to deal with subtle problems regarding the scheduling of non-deterministic decisions, the delivery of messages sent on resilient (non-adversarially controlled) channels, fair executions (executions where no party, both ho...

In this paper, we address the issues in mobile bandwidth scheduling for video stream transmissions in a distributed video player system supported on cellular network. Two important concerns in the design of the scheduling algorithms are fairness in services and adaptability to the changing playback condition of individual video. In this paper, we present the Buffer Sensitive Rate-Based (BSRB) a...

We conducted demonstration experiments to promote the use of open-source software on desktops as a part of the Open-Source Software-Utilization Development Program for the education sector. In these experiments, we found some barriers to popularizing the use of open-source software in end-user desktop applications. In this paper, we report some typical problems of Web-browser compatibility, whi...

In this study, effect of biomass share on co-combustion of coal and biomass in a circulating fluidized bed is investigated by previously developed model. SO2 and NOx emission predictions of the model are compared with test results obtained from the laboratory-scale 30 kW (thermal) atmospheric test unit of 0.86 m i.d. and 7 m tall riser data published in the literature. Simulation results show t...

While there is currently great interest in the problem of providing real-time services in general purpose operating systems, the issue of real-time scheduling of internal operating system activities has received relatively little attention. Without such real-time scheduling, the system is susceptible to conditions such as receive livelock — a situation in which an operating system spends all it...

Extract-transform-load (ETL) workflows model the population of enterprise data warehouses with information gathered from a large variety of heterogeneous data sources. ETL workflows are complex design structures that run under strict performance requirements and their optimization is crucial for satisfying business objectives. In this paper, we deal with the problem of scheduling the execution ...

A very significant evolution of mobile telecommunication technologies is the introduction of the high-speed downlink shared channel used by many users to efficiently accommodate packets in networks. In a wireless environment, because of the time-varying channel fluctuations of wireless links, efficient use of the large available bandwidth cannot be achieved without adopting sophisticated channe...

We also thank Kunal Sadhu for his assistance with the collection of macroeconomic statistics; and Lucien Van Elsen for his help in data analysis. John Grant read previous versions and gave valuable comments, but the usual disclaimer applies. Summary Several studies have demonstrated a generally positive association between market share (MS) and business profitability (BP), and that this relatio...