Sciweavers

PDCAT
2005
Springer
14 years 5 months ago
Chocolat/SMV: A Translator from CafeOBJ into SMV
Chocolat/SMV is a translator that takes a CafeOBJ specification of a transition system called an OTS and generates an SMV specification of a finite version of the OTS. The prim...
Kazuhiro Ogata, Masahiro Nakano, Masaki Nakamura, ...
PDCAT
2005
Springer
14 years 5 months ago
A Scheduling Method for Divisible Workload Problem in Grid Environments
Scheduling divisible workloads in distributed systems has been one of the interesting research problems over the last few years. Most of the scheduling algorithms previously intro...
Nguyen The Loc, Said Elnaffar, Takuya Katayama, Tu...
PDCAT
2005
Springer
14 years 5 months ago
Solving Very Large Traveling Salesman Problems by SOM Parallelization on Cluster Architectures
This paper describes how to solve very large TravelingSalesman Problems heuristically by the parallelization of self-organizing maps on cluster architectures. The used way of para...
Hannes Schabauer, Erich Schikuta, Thomas Weish&aum...
PDCAT
2005
Springer
14 years 5 months ago
Gracefully Degrading Battery-Aware Static Multiprocessor Schedules Based on Symmetric Task Fusion
A novel strategy for employing schedules obtained using standard static scheduling algorithms in a battery powered multiprocessor environment is investigated. The strategy is able...
Frode Eika Sandnes, Oliver Sinnen, Yo-Ping Huang
PDCAT
2005
Springer
14 years 5 months ago
Collaborative MPEG-4 Contents Authoring, Presentation and Interaction in a Mobile Environment
Recent advances in wireless technology and availability of portable devices with networking capabilities made the increasing hot topic, ubiquitous computing become reality. Also, ...
SongLu Li, Sangwook Kim, Sunkyung Kim
PDCAT
2005
Springer
14 years 5 months ago
Access Control List Mediation System for Large-Scale Network
Large-Scale network such as the Internet consist of a large number of sub-networks. Since each subnetwork has management privileges and policies individually, it is difficult to r...
Kanghee Lee, Zhefan Jiang, Sangok Kim, Sangwook Ki...
PDCAT
2005
Springer
14 years 5 months ago
Approximating Spanning Trees with Inner Nodes Cost
We consider the practical NP-complete problem of finding a minimum weight spanning tree with both edge weights and inner nodes weights. We present two polynomial time algorithms ...
Rudolf Fleischer, Qi Ge, Jian Li, Shijun Tian, Hai...
PDCAT
2005
Springer
14 years 5 months ago
Design of a Security Management Middleware in Ubiquitous Computing Environments
In this paper, we propose a security management middleware in ubiquitous computing environments. This security management should be applicationoriented security and provides user-...
Zhefan Jiang, Kanghee Lee, Sangok Kim, Hyunchul Ba...
PDCAT
2005
Springer
14 years 5 months ago
Performance Study of Nonrigid Registration Algorithm for Investigating Lung Disease on Clusters
This paper presents a performance study of a nonrigid registration algorithm for investigating lung disease on clusters. Our algorithm combines two conventional acceleration techn...
Fumihiko Ino, Yuya Tanaka, Kenichi Hagihara, Hirok...