This paper describes geospatial search engine software that supports the OGC catalog service CS-W as well as OpenSearch GEO, Time, and SRU extensions. The system is an enhanced version of existing AIST CS-W software [...
详细信息
The Battle Management Language (BML) has been developed as an unambiguous representation of orders, reports and requests between military command and control (C2) systems and simulations. This paper describes developm...
详细信息
distributed search is an important processing to solve problems in distributed cooperative systems. As fundamental research of distributed cooperative problem solving, distributed constraint optimization prob-lems(DCO...
详细信息
ISBN:
(纸本)9789604742776
distributed search is an important processing to solve problems in distributed cooperative systems. As fundamental research of distributed cooperative problem solving, distributed constraint optimization prob-lems(DCOPs) have been studied. For the DCOPs, exact distributed search algorithms that are based on pseudo-trees have been proposed. In the search algorithms, tree-searches and dynamic programming methods are performed using an order of variables defined by the pseudo-trees. However, analyzing the behaviors of search algorithms is relatively difficult due to the distributed processing. In this study, we show a representation of the essential computation contained in search algorithms based on pseudo-trees. Using the representations of the computation, a basic algorithm that contains a relatively clear data-flow of the processing is composed. This representation can be considered a basis of analyzing the dependency of the processing and deriving actual distributed algorithms.
The proceedings contain 34 papers. The topics discussed include: a MAC layer protocol supporting the application of WSNs in medicine and healthcare domains;an integrated model supporting billing and QOS in the Interne...
ISBN:
(纸本)9780769544755
The proceedings contain 34 papers. The topics discussed include: a MAC layer protocol supporting the application of WSNs in medicine and healthcare domains;an integrated model supporting billing and QOS in the Internet;performance evaluation of the MMS framework for internet applications;an improvement on hsiang and shih's remote user authentication scheme using smart cards;security of RFID systems - a hybrid approach;smart RFID reader protocol for malware detection;feature selection of imbalanced gene expression microarray data;features extraction using free score of words for classifying conotoxin superfamily;a study of key success factors for supply chain management system in semiconductor industry;building trust in online customers;and communication among multiple threads in the concurrent wavelet transformation for image compression.
The proceedings contain 20 papers. The topics discussed include: formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection;an animation approac...
ISBN:
(纸本)9781612842073
The proceedings contain 20 papers. The topics discussed include: formal modeling and analysis of hybrid systems in rewriting logic using higher-order numerical methods and discrete-event detection;an animation approach to develop C++ code from object-Z specications;modeling real-time coordination systems using timed buchi automata;a new stemmer for farsi language;a distributed token-based scheme to allocate critical resources;a local cluster head election algorithm in wireless sensor networks;envy free chain store pricing;an efficient grid resource discovery mechanism based on tree structure;summarization of meetings using word clouds;automatic checking of eligibility in electronic voting protocols using mCRL2;performance prediction of component based softwaresystems using interface automata;and image security system using recursive cellular automata substitution and its parallelization.
In last decade, softwareengineering research increasingly focused on software quality enhancement and evaluation, whereas most of these researches concentrate on the internal/development perspective. However, users m...
详细信息
ISBN:
(纸本)9789604742776
In last decade, softwareengineering research increasingly focused on software quality enhancement and evaluation, whereas most of these researches concentrate on the internal/development perspective. However, users mainly care in the quality of performs intended functions efficiently without knowing how the software product was developed, how it is work from inside, or it is internal quality. The success of software companies is completely depends on the users' satisfaction, which they decide to use a software product or not. Therefore, in software development, strong attention must be given to the user's satisfaction. This study aims to present the quality of the software products from user's perspective. From user's viewpoint, the characteristics of the software product are discussed. Finally, a user's perspective quality model is proposed.
Current XML-based publish/subscribe systems only support coarse-grained message filtering: a message is either forwarded to a subscriber in its entirety or not at all. Fine-grained filtering of message elements is not...
详细信息
The proceedings contain 66 papers. The topics discussed include: option pricing on the GPU with backward stochastic differential equation;DHFS: a high-throughput heterogeneous file system based on mainframe for cloud ...
ISBN:
(纸本)9780769545752
The proceedings contain 66 papers. The topics discussed include: option pricing on the GPU with backward stochastic differential equation;DHFS: a high-throughput heterogeneous file system based on mainframe for cloud storage;security-driven fault tolerant scheduling algorithm for high dependable distributed real-time system;a polynomial algorithm for the vertex disjoint min-min problem in planar graphs;improving parallel FDTD method performance using SSE instructions;communication-aware design space exploration for efficient run-time MPSoC management;energy minimization for software real-time systems with uncertain execution time;an efficient algorithm for privacy preserving maximal frequent itemsets mining;distributed network resources monitoring based on multi-agent and matrix grammar;an implementation of GPU-based parallel optimization for an extended uncertain data query algorithm;and job scheduling optimization for multi-user MapReduce clusters.
This article develops a charging scheme that is simple and easily usable for the users and provides them with the incentives to use only the resources they need. This scheme is developed on the time-volume charging ap...
详细信息
The statistical language R is favoured by many biostaticians for processing microarray data. In recent times, the quantity of data that can be obtained in experiments has risen significantly, making previously fast an...
详细信息
暂无评论