Mobile agent technology has been widely adopted in network computing, whereas it remains a problem to design and verify the mobile agent algorithms in a platform independent way. In this paper, we propose a script language called SMAL to design the mobile agent algorithm. The semantics of SMAL is briefly introduced with its execution model. Furthermore, to verify the agent program in SMAL, a transformation function for converting SMAL program to Mobile UNITY specification is presented, which would facilitate making use of UNITY-logic to prove the correctness properties of the program.
An advanced content-based news video browsing and retrieval system, NewsBR, is proposed in this work. The system is built on high-accuracy news story segmentation and topic caption text extraction. Its main features include category-based news story browsing, key-frame-based video abstract and keyword-based news story retrieval. In the paper, news story segmentation and topic caption text extraction, as well as content-based video browsing and retrieval, are addressed in detail. The system is helpful and effective for the overall understanding of the news video content.
This chapter proposes a framework which focuses on a thorough resolution of functional dependency among components and enabling new mechanism for a pervasive computing system, 'Delay Adaptation'. This framework introduces an 'Adaptation Table' to describe components' interfaces and their interaction. Since functional dependency comes from interaction among components, this 'Adaptation Table' brings all dependency under control. A toolkit called DAT is developed and improved based on this framework. The chapter represents the models of DAT. Researchers have proposed many requirements in order to evaluate different component adaptation techniques. These requirements focus on different aspects. To evaluate the techniques at the same standard, the chapter extracts eight requirements from Bosch, Heineman, Kim and Martin. It proposes a framework which could resolve dependency among components and support 'Delay Adaptation' within the framework of the current mainstream of programming languages. Controlled Vocabulary Terms delay tolerant networks; ubiquitous computing
Based on the practice of Wuhan University attending the National Information Security Competition in recent years,this paper analyses the process of the competition,summarizes the experience and lessons of Wuhan University’s organization and instruction in the competition,and finally discusses the training method to develop the innovative and practical ability of undergraduate.
Sentence ranking is the issue of most concern in document summarization. Early researchers have presented the mutual reinforcement principle (MR) between sentence and term for simultaneous key phrase and salient sentence extraction in generic single-document summarization. In this work, we extend the MR to the mutual reinforcement chain (MRC) of three different text granularities, i.e., document, sentence and terms. The aim is to provide a general reinforcement framework and a formal mathematical modeling for the MRC. Going one step further, we incorporate the query influence into the MRC to cope with the need for query-oriented multi-document summarization. While the previous summarization approaches often calculate the similarity regardless of the query, we develop a query-sensitive similarity to measure the affinity between the pair of texts. When evaluated on the DUC 2005 dataset, the experimental results suggest that the proposed query-sensitive MRC (Qs-MRC) is a promising approach for summarization.
'/%3e%3cuse xlink:href='%23a' transform='rotate(23.036 .093 25.536)'/%3e%3cuse xlink:href='%23a' transform='rotate(45.87 1.273 16.18)'/%3e%3cuse xlink:href='%23a' transform='rotate(69.945 .996 12.078)'/%3e%3cuse xlink:href='%23a' transform='rotate(20.66 -19.689 31.932)'/%3e%3c/svg%3e)