-
Chapter and Conference Paper
Computing Strong/Weak Bisimulation Equivalences and Observation Congruence for Value-Passing Processes
We introduce an improved version of the symbolic transition graph with assignment (STGA) of Lin. The distinction of our model is that the assignment of a transition is performed after rather than before the ac...
-
Chapter and Conference Paper
Admission Control and Capacity Management for Advance Reservations with Uncertain Service Duration
Different from Immediate Request (IR) service in packet-switched networks, admission control for Advance Reservation (AR) service is more complex - the decision points include not only the start time of the ne...
-
Chapter and Conference Paper
Architecture of TsinghuAeolus
RoboCup Simulation Server provides a wonderful challenge for all the participants. This paper explains key technology implemented by Tsinghuaeolus RoboCup team played in RoboCup environment, including basic ad...
-
Chapter and Conference Paper
Global Planning from Local Eyeshot: An Implementation of Observation-Based Plan Coordination in RoboCup Simulation Games
This paper presents a method of implementing distributed planning in partial-observable, low communication bandwidth environments such as RoboCup simulation games, namely, the method of global planning from lo...
-
Chapter and Conference Paper
A Browser Compatibility Testing Method Based on Combinatorial Testing
For ensuring the displaying effects of Web applications, it is important to perform compatibility testing for browsers under the different configurations and it is a hard task to test all. So this paper focuse...
-
Chapter and Conference Paper
Fair and Performance Guaranteed Methods for Flat-Rate Unlimited Access Service Plan
Simplicity in administration and operation is the choice for production networks. Hence, flat-rate unlimited access service plan is the predominant form of retail pricing in Broadband Internet access services....
-
Chapter and Conference Paper
Open Issues on Intelligent Sensor Networks
In this paper, we address some open issues on intelligent sensor networks research. Recent advancement in wireless communications and electronics has enabled the development of low-cost sensor networks, which ...
-
Chapter and Conference Paper
A Parameterized Model of TCP Slow Start
Based on analysis on multiple packet losses of standard slow start caused by exponential growth of congestion window (cwnd), this paper proposes a new phase-divided TCP start scheme and designs a parameterized mo...
-
Chapter and Conference Paper
LEAPS: A Location Estimation and Action Prediction System in a Wireless LAN Environment
Location estimation and user behavior recognition are research issues that go hand in hand. In the past, these two issues have been investigated separately. In this paper, we present an integrated framework ca...
-
Chapter and Conference Paper
GOOMPI: A Generic Object Oriented Message Passing Interface
This paper discusses the application of object-oriented and generic programming techniques in high performance parallel computing, then presents a new message-passing interface based on object-oriented and gen...
-
Chapter and Conference Paper
A New per-Class Flow Fixed Proportional Differentiated Service for Multi-service Wireless LAN
In this paper, we propose a new per-CLAss Flow fixed proportional differentiated service model (CLAF) and a companion medium access control scheme for multi-service wireless LANs (WLANs). The scheme is based o...
-
Chapter and Conference Paper
A Direction to Avoid Re-encryption in Cryptographic File Sharing
Almost all cryptographic file sharing systems need re-encryption when the sharing was revoked. These systems differ from each other only in the timing of re-encryption. As re-encryption is an expensive operati...
-
Chapter and Conference Paper
In-Vehicle Information System Used in Complex and Low Traffic Situations: Impact on Driving Performance and Attitude
This paper describes a study where drivers’ responses to an in-vehicle information system were tested in high and low density traffic. There were 17 participants in a study that was run using a driving simulat...
-
Chapter and Conference Paper
A Real-Time Gesture Tracking and Recognition System Based on Particle Filtering and Ada-Boosting Techniques
A real-time gesture tracking and recognition system based on particle filtering and Ada-Boosting techniques is presented in this paper. The particle filter, which is a flexible simulation-based method and suit...
-
Chapter and Conference Paper
Using Personas and Scenarios as an Interface Design Tool for Advanced Driver Assistance Systems
When looking at the traditional way of conducting human factors research within the active safety area, focus often tends to be on drivers’ cognitive capacities like; situation awareness, workload and behaviou...
-
Chapter and Conference Paper
The Implementation and Evaluation of a Low-Power Clock Distribution Network Based on EPIC
The multiply clock domain (MCD) technique is a novel technique to compromising between synchronous systems and asynchronous systems to reduce the power. However, most present studies of MCD are based on supers...
-
Chapter and Conference Paper
An Improved Genetic Algorithm for Web Services Selection
An improved genetic algorithm is presented to select optimal web services composite plans from a lot of composite plans on the basis of global Quality-of-Service (QoS) constraints. The relation matrix coding s...
-
Chapter and Conference Paper
A Performance Analysis Infrastructure for Component-Based System Hosted by Middleware
An infrastructure is proposed for automatically modeling the impact of middleware to component-based system at architectural level performance evaluation. The basic ideas behind infrastructure are separation o...
-
Chapter and Conference Paper
Listen! There Are Other Road Users Close to You – Improve the Traffic Awareness of Truck Drivers
As the amount of good transportation on road is increasing the accidents involving heavy trucks and other road users are also increasing. To make the truck driver aware of other road users close to the truck i...
-
Chapter and Conference Paper
Investigating the Use and Adoption of Self-service Technology in China
Self-service technology use and adoption can be seen as an evolutionary process. From a conceptual perspective, evolution delivers the growing advantages of self-service. From a practical perspective, evolutio...