Naohisa Takahashi

Proceedings of the 3rd ACM SIGSPATIAL International Workshop on Location-based Recommendations, 2019

2018

Fisheye Map Using Stroke-Based Generalization for Web Map Services.

[BibT_eX]

[DOI]

Masaki Murase

IEICE Trans. Inf. Syst., 2018

Global map matching using BLE beacons for indoor route and stay estimation.

[BibT_eX]

[DOI]

Proceedings of the 26th ACM SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2018

Design of Program Analysis Based Approach for Narrowing Down Misconfigurations in Beginner Network Construction Exercises.

[BibT_eX]

[DOI]

Yuichiro Tateiwa

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Inconsistency Analysis of Time-Based Security Policy and Firewall Policy.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Software Engineering, 2017

An Inconsistency Detection Method for Security Policy and Firewall Policy Based on CSP Solver.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Security - Third International Conference, 2017

2016

Communication Simulator with Network Behavior Logging Function for Supporting Network Construction Exercise for Beginners.

[BibT_eX]

[DOI]

Yuichiro Tateiwa

Proceedings of the Intelligent Interactive Multimedia Systems and Services 2016, 2016

A system for generating hints on network construction exercises for beginners.

[BibT_eX]

[DOI]

Yuichiro Tateiwa

Proceedings of the 11th International Conference on Computer Science & Education, 2016

2015

On-Demand Generalization of Guide Maps with Road Networks and Category-Based Web Search Results.

[BibT_eX]

[DOI]

Masaki Murase

Proceedings of the Web and Wireless Geographical Information Systems, 2015

Development of mobile voice navigation system using user-based mobile maps annotations.

[BibT_eX]

[DOI]

Tomohiro Yanagi

Proceedings of the 14th IEEE/ACIS International Conference on Computer and Information Science, 2015

2014

Pace-Based Clustering of GPS Data for Inferring Visit Locations and Durations on a Trip.

[BibT_eX]

[DOI]

IEICE Trans. Inf. Syst., 2014

Set-Based Calculation of Topological Relations between Snort Rules.

[BibT_eX]

[DOI]

Yi Yin

Yun Wang

Proceedings of the Second International Symposium on Computing and Networking, 2014

2013

A preventing method for overlapping focuses in a Focus+Glue+Context Map.

[BibT_eX]

[DOI]

Hiroya Mizutani

Int. J. Knowl. Web Intell., 2013

Encoding network-constrained travel trajectories using routing algorithms.

[BibT_eX]

[DOI]

Int. J. Knowl. Web Intell., 2013

Self-stabilizing DAG-Constructing Protocols with Application to Geocast in MANET.

[BibT_eX]

[DOI]

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2013

Support System for Analyzing the Solution Process for Network Construction Exercises with Virtual Machines.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia Systems and Services, 2013

2012

Making a Pictorial and Verbal Travel Trace from a GPS Trace.

[BibT_eX]

[DOI]

Proceedings of the Web and Wireless Geographical Information Systems, 2012

A Fusion of Multiple Focuses on a Focus+Glue+Context Map.

[BibT_eX]

[DOI]

Hiroya Mizutani

Proceedings of the Intelligent Interactive Multimedia: Systems and Services, 2012

Encoding Travel Traces by Using Road Networks and Routing Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Intelligent Interactive Multimedia: Systems and Services, 2012

2011

Design and Implementation of Conflict Detection System for Time-Based Firewall Policies.

[BibT_eX]

[DOI]

J. Next Gener. Inf. Technol., 2011

A Topology-Based Conflict Detection System for Firewall Policies using Bit-Vector-Based Spatial Calculus.

[BibT_eX]

[DOI]

Int. J. Commun. Netw. Syst. Sci., 2011

Inferring and Focusing Areas of Interest from GPS Traces.

[BibT_eX]

[DOI]

Proceedings of the Web and Wireless Geographical Information Systems, 2011

2010

Evaluation of network construction exercise system LiNeS on the basis of heterogeneous and distributed virtual machine network composition function.

[BibT_eX]

[DOI]

Int. J. Knowl. Web Intell., 2010

An Improved Conflict Detection System with Periodic Cycle Treatment for Time-Based Firewall Policies.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Computer Communications and Networks, 2010

Inconsistency Detection System for Security Policy and Firewall Policy.

[BibT_eX]

[DOI]

Proceedings of the First International Conference on Networking and Computing, 2010

A Focus Control Method Based on City Blocks for the Focus+Glue+Context Map.

[BibT_eX]

[DOI]

Kohei Hukuhara

Proceedings of the 24th IEEE International Conference on Advanced Information Networking and Applications Workshops, 2010

Simultaneous Analysis of Time and Space for Conflict Detection in Time-Based Firewall Policies.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Computer and Information Technology, 2010

2009

AODV-based multipath routing protocol with preferential path selection probabilities.

[BibT_eX]

[DOI]

Int. J. Wirel. Mob. Comput., 2009

Wired Fisheye Lens: A Motion-Based Improved Fisheye Interface for Mobile Web Map Services.

[BibT_eX]

[DOI]

Shotaro Ozeki

Proceedings of the Web and Wireless Geographical Information Systems, 2009

A topological approach to detect conflicts in firewall policies.

[BibT_eX]

[DOI]

Proceedings of the 23rd IEEE International Symposium on Parallel and Distributed Processing, 2009

Focus+Glue+Context: an improved fisheye approach for web map services.

[BibT_eX]

[DOI]

Shotaro Ozeki

Proceedings of the 17th ACM SIGSPATIAL International Symposium on Advances in Geographic Information Systems, 2009

2008

Adaptive Route Selection Policy Based on Back Propagation Neural Networks.

[BibT_eX]

[DOI]

J. Networks, 2008

Detection of Conflicts Caused by a Combination of Filters Based on Spatial Relationships.

[BibT_eX]

[DOI]

Yi Yin

J. Inf. Process., 2008

Implementation of Filter Reverse Search System based on Spatial Relationships of Filters.

[BibT_eX]

[DOI]

J. Convergence Inf. Technol., 2008

2007

A QA cycle for teaching programming. A mechanism for automatically posing questions corresponding to learner's skill.

[BibT_eX]

[DOI]

Hideki Nakajima

Yoshihide Hosokawa

Syst. Comput. Jpn., 2007

A superstabilizing spanning tree protocol for a link failure.

[BibT_eX]

[DOI]

Toshiyuki Hasegawa

Syst. Comput. Jpn., 2007

A Framework for an Integrated Co-allocator for Data Grid in Multi-Sender Environment.

[BibT_eX]

[DOI]

IEICE Trans. Commun., 2007

Dynamic Route Selection Policy Protocol in MANET.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

Coordinated Co-allocator Model for Data Grid in Multi-sender Environment.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing, 2006

On-Demand Multipath Routing Protocol with Preferential Path Selection Probabilities for MANET.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Advanced Information Networking and Applications (AINA 2006), 2006

Redundant parallel data transfer schemes for the grid environment.

[BibT_eX]

[DOI]

Proceedings of the proceedings of the Fourth Australasian Symposium on Grid Computing and e-Research (AusGrid 2006) and the Fourth Australasian Information Security Workshop (Network Security) (AISW 2006), 2006

2005

Dynamic Co-allocation Scheme for Parallel Data Transfer in Grid Environment.

[BibT_eX]

[DOI]

Proceedings of the 2005 International Conference on Semantics, 2005

An implementation method of a location-based active map transformation system.

[BibT_eX]

[DOI]

Yoshihide Hosokawa

Naoki Kimura

Proceedings of the 6th International Conference on Mobile Data Management (MDM 2005), 2005

Implementation of Packet Filter Configurations Anomaly Detection System with SIERRA.

[BibT_eX]

[DOI]

Yi Yin

Proceedings of the Information and Communications Security, 7th International Conference, 2005

2004

A System Architecture for Seamless Navigation.

[BibT_eX]

[DOI]

Yoshihide Hosokawa

Hiroyasu Taga

Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004

2000

Multiagent-based cooperative inter-AS diagnosis in ENCORE.

[BibT_eX]

[DOI]

Proceedings of the Networked Planet: Management Beyond 2000, 2000

1999

Detection of infeasible paths using Presburger arithmetic.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1999

Semantic configuration management model using a path dependence flow graph.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1999

Cooperative Analysis in Inter-AS Diagnostic System ENCORE .

[BibT_eX]

[DOI]

Proceedings of the 1st International Symposium on Agent Systems and Applications / 3rd International Symposium on Mobile Agents (ASA/MA '99), 1999

1997

Program slicing based on data-flow computation of path dependence flow graphs.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1997

1996

Program slicing using a path dependence flow graph.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1996

1994

Detection of unfeasible paths with a path-dependence flow graph.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1994

Associative program retrieval using partially-ordered behavioral abstractions of a program.

[BibT_eX]

Hideaki Suzuki

Proceedings of the SEKE'94, 1994

1990

DDS: A declarative debugging system for functional programs.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1990

1988

Optimization algorithm for parallel demand - driven computation of functional programs.

[BibT_eX]

[DOI]

Syst. Comput. Jpn., 1988

1986

Optimized Demand-driven Evaluation of Functional Programs on a Dataflow Machine.

[BibT_eX]

Makoto Amamiya

Proceedings of the International Conference on Parallel Processing, 1986

1984

Partial Computation with a Dataflow Machine.

[BibT_eX]

[DOI]

Makoto Amamiya

Proceedings of the RIMS Symposia on Software Science and Engineering II, 1984

1983

A Data Flow Processor Array System: Design and Analysis

[BibT_eX]

[DOI]