Teruo Higashino
Orcid: 0000-0001-5685-0424
According to our database1,
Teruo Higashino
authored at least 300 papers
between 1984 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Sensors, June, 2024
Architecture, Performance, and Usability of Mobile Cellular Network Monitoring Applications for Data-Driven Analysis.
IEEE Access, 2024
A Preliminary Study on Angle of Arrival Estimation by MUSIC Algorithm Using Backscatter Tags.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops and other Affiliated Events, 2024
Feasibility of Living Activity Recognition with Frequency-Shift WiFi Backscatter Tags in Homes.
Proceedings of the International Conference on Intelligent Environments, 2024
Exploring Effective Sensing Indicators of Loneliness For Elderly Community in US and Japan.
Proceedings of the Extended Abstracts of the CHI Conference on Human Factors in Computing Systems, 2024
2023
Laser Range Scanners for Enabling Zero-overhead WiFi-based Indoor Localization System.
ACM Trans. Spatial Algorithms Syst., March, 2023
Dataset, February, 2023
Mitigating Trade-Off in Unlicensed Network Optimization Through Machine Learning and Context Awareness.
IEEE Access, 2023
iCareLoop: Data Management System for Monitoring Gerontological Social Isolation and Loneliness.
Proceedings of the Fourteenth International Conference on Mobile Computing and Ubiquitous Network, 2023
iCareLoop: Closed-Loop Sensing and Intervention for Gerontological Social Isolation and Loneliness.
Proceedings of the ACM/IEEE 14th International Conference on Cyber-Physical Systems, 2023
Short: Integrated Sensing Platform for Detecting Social Isolation and Loneliness In the Elderly Community.
Proceedings of the IEEE/ACM Conference on Connected Health: Applications, 2023
2022
Pervasive Mob. Comput., 2022
J. Inf. Process., 2022
BMC Medical Imaging, 2022
Identification and Analysis of a Unique Cell Selection Phenomenon in Public Unlicensed Cellular Networks Through Machine Learning.
IEEE Access, 2022
IEEE Access, 2022
2021
J. Inf. Process., 2021
J. Inf. Process., 2021
TSVNet: Combining Time-Series and Opportunistic Sensing by Transfer Learning for Dynamic Thermal Sensation Estimation.
IEEE Access, 2021
Proceedings of the 17th International Conference on Wireless and Mobile Computing, 2021
A New Problem Setting for Mobile Robots Based on Backscatter-Based Communication and Sensing.
Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2021
Data balancing for thermal comfort datasets using conditional wasserstein GAN with a weighted loss function.
Proceedings of the BuildSys '21: The 8th ACM International Conference on Systems for Energy-Efficient Buildings, Cities, and Transportation, Coimbra, Portugal, November 17, 2021
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021
Human Localization Using a Single Camera Towards Social Distance Monitoring During Sports.
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021
Proceedings of the Mobile and Ubiquitous Systems: Computing, Networking and Services, 2021
Proceedings of the Thirteenth International Conference on Mobile Computing and Ubiquitous Network, 2021
Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021
Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021
Proceedings of the ICDCN '21: International Conference on Distributed Computing and Networking, 2021
Proceedings of the 13th International Conference on COMmunication Systems & NETworkS, 2021
2020
<i>FlowScan</i>: Estimating People Flows on Sidewalks Using Dashboard Cameras Based on Deep Learning.
J. Inf. Process., 2020
Application of IEEE802.11ac/n Link Throughput Estimation Model in Holding Access-Point Assignment Algorithm for Wireless Local-Area Network.
J. Commun., 2020
Proceedings of the 16th International Conference on Wireless and Mobile Computing, 2020
Proceedings of the IEEE International Conference on Smart Computing, 2020
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020
Proceedings of the 2020 IEEE International Conference on Pervasive Computing and Communications Workshops, 2020
Trajectory-Assisted Robust RFID-tagged Object Tracking and Recognition in Room Environment.
Proceedings of the MSWiM '20: 23rd International ACM Conference on Modeling, 2020
Gain Without Pain: Enabling Fingerprinting-based Indoor Localization using Tracking Scanners.
Proceedings of the SIGSPATIAL '20: 28th International Conference on Advances in Geographic Information Systems, 2020
A Ubiquitous and Accurate Floor Estimation System Using Deep Representational Learning.
Proceedings of the SIGSPATIAL '20: 28th International Conference on Advances in Geographic Information Systems, 2020
2019
Sensors, 2019
Pervasive Mob. Comput., 2019
Comput. Intell., 2019
ICCF: An Information-Centric Collaborative Fog Platform for Building Energy Management Systems.
IEEE Access, 2019
A Self-Organized Task Distribution Framework for Module-Based Event Stream Processing.
IEEE Access, 2019
Energy-Efficient Activation/Inactivation Strategy for Long-term IoT Network Operation.
Proceedings of the 2019 IEEE SmartWorld, 2019
Proceedings of the IEEE International Conference on Smart Computing, 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
A Study on Behavior of Autonomous Vehicles Cooperating with Manually-Driven Vehicles.
Proceedings of the 2019 IEEE International Conference on Pervasive Computing and Communications, 2019
A Feasibility Study on Battery-Less Travel Context Estimation Using Ambient Backscatter.
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Proceedings of the IEEE International Conference on Pervasive Computing and Communications Workshops, 2019
Preliminary Investigation on Band Tightness Estimation of Wrist-Worn Devices Using Inertial Sensors.
Proceedings of the Wireless Mobile Communication and Healthcare, 2019
Proceedings of the 20th International Middleware Conference Demos and Posters, 2019
Proceedings of the Short Paper Proceedings of the Tenth International Conference on Indoor Positioning and Indoor Navigation - Work-in-Progress Papers (IPIN-WiP 2019) co-located with the Tenth International Conference on Indoor Positioning and Indoor Navigation (IPIN 2019), Pisa, Italy, September 30th, 2019
Proceedings of the 15th International Conference on Intelligent Environments, 2019
Proceedings of the Twelfth International Conference on Mobile Computing and Ubiquitous Network, 2019
Proceedings of the 39th IEEE International Conference on Distributed Computing Systems, 2019
Proceedings of the 2019 ACM International Joint Conference on Pervasive and Ubiquitous Computing and Proceedings of the 2019 ACM International Symposium on Wearable Computers, 2019
Beyond Visual Line of Sight UAV Control for Remote Monitoring Using Directional Antennas.
Proceedings of the 2019 IEEE Globecom Workshops, Waikoloa, HI, USA, December 9-13, 2019, 2019
Automatic Localization of Passive Infra-Red Binary Sensors in Home: from Dense to Scattered Network.
Proceedings of the 2019 IEEE Intl Conf on Dependable, 2019
Proceedings of the 16th IEEE Annual Consumer Communications & Networking Conference, 2019
2018
Proc. ACM Interact. Mob. Wearable Ubiquitous Technol., 2018
A holding access-point assignment algorithm for IEEE802.11 wireless local-area networks.
Int. J. Space Based Situated Comput., 2018
Proceedings of the 14th International Conference on Wireless and Mobile Computing, 2018
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018
MicroDeep: In-network Deep Learning by Micro-Sensor Coordination for Pervasive Computing.
Proceedings of the 2018 IEEE International Conference on Smart Computing, 2018
Proceedings of the Testing Software and Systems, 2018
Development of Energy-efficient Sensor Networks by Minimizing Sensors Numbers with a Machine Learning Model.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications, 2018
Self-adaptive Resource Allocation for Continuous Task Offloading in Pervasive Computing.
Proceedings of the 2018 IEEE International Conference on Pervasive Computing and Communications Workshops, 2018
Proceedings of the Advances in Network-Based Information Systems, 2018
Proceedings of the 15th EAI International Conference on Mobile and Ubiquitous Systems: Computing, 2018
Proceedings of the 14th International Conference on Intelligent Environments, 2018
An Efficient Data Processing Scheme for Wireless Sensor Network Monitoring Using a Machine Learning Model.
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
Sidewalk-level People Flow Estimation Using Dashboard Cameras Based on Deep Learning.
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
A Motivation-based Partnership Decision Model on Event-Stream Knowledge in Real-time Business.
Proceedings of the Eleventh International Conference on Mobile Computing and Ubiquitous Network, 2018
Re-Thinking: Design and Development of Mobility Aware Applications in Smart and Connected Communities.
Proceedings of the 38th IEEE International Conference on Distributed Computing Systems, 2018
Proceedings of the Workshop Program of the 19th International Conference on Distributed Computing and Networking, 2018
Proceedings of the 2018 ACM International Joint Conference and 2018 International Symposium on Pervasive and Ubiquitous Computing and Wearable Computers, 2018
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018
2017
Mob. Inf. Syst., 2017
Int. J. Intell. Transp. Syst. Res., 2017
Vehicle Proximity Awareness by Inter-Vehicle Communication for Surface Mine Operation Safety.
Proceedings of the 85th IEEE Vehicular Technology Conference, 2017
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017
Proceedings of the 2017 IEEE International Conference on Pervasive Computing and Communications Workshops, 2017
A crowdsourcing and simulation based approach for fast and accurate Wi-Fi radio map construction in urban environment.
Proceedings of the 2017 IFIP Networking Conference, 2017
Proceedings of the 15th Annual International Conference on Mobile Systems, 2017
Proceedings of the 13th International Wireless Communications and Mobile Computing Conference, 2017
Proceedings of the Tenth International Conference on Mobile Computing and Ubiquitous Network, 2017
Edge Computing and IoT Based Research for Building Safe Smart Cities Resistant to Disasters.
Proceedings of the 37th IEEE International Conference on Distributed Computing Systems, 2017
Proceedings of the 13th International Conference on Distributed Computing in Sensor Systems, 2017
2016
Trajectory identification based on spatio-temporal proximity patterns between mobile phones.
Wirel. Networks, 2016
A study on identification of laser-tracked vehicles using V2V-based velocity information.
Proceedings of the 17th IEEE International Symposium on A World of Wireless, 2016
Proceedings of the 2016 IEEE International Conference on Smart Grid Communications, 2016
Travel estimation using Control Signal Records in cellular networks and geographical information.
Proceedings of the 9th IFIP Wireless and Mobile Networking Conference, 2016
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016
TransitLabel: A Crowd-Sensing System for Automatic Labeling of Transit Stations Semantics.
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016
Proceedings of the 14th Annual International Conference on Mobile Systems, 2016
Proceedings of the Adjunct Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing Networking and Services, 2016
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016
A Method for Identifying Laser-tracked Vehicles Using Velocity Data from V2V Messages.
Proceedings of the 13th International Conference on Mobile and Ubiquitous Systems: Computing, 2016
Proceedings of the Ninth International Conference on Mobile Computing and Ubiquitous Networking, 2016
Proceedings of the 2016 IEEE International Conference on Computer and Information Technology, 2016
2015
Perform. Evaluation, 2015
J. Inf. Process., 2015
Ann. des Télécommunications, 2015
Special issue on formal active and passive testing of distributed and networked systems.
Ann. des Télécommunications, 2015
Proceedings of the 2nd IEEE World Forum on Internet of Things, 2015
Estimating core body temperature based on human thermal model using wearable sensors.
Proceedings of the 30th Annual ACM Symposium on Applied Computing, 2015
Proceedings of the 2015 IEEE International Conference on Pervasive Computing and Communication Workshops, 2015
Throughput and Delay Estimator for 2.4GHz WiFi APs: A Machine Learning-Based Approach.
Proceedings of the 8th IFIP Wireless and Mobile Networking Conference, 2015
Proceedings of the 13th ACM International Symposium on Mobility Management and Wireless Access, 2015
Real-Time Calibration of a Human Thermal Model with Solar Radiation Using Wearable Sensors.
Proceedings of the 2015 workshop on Wearable Systems and Applications, 2015
TweetGlue: Leveraging a crowd tracking infrastructure for mobile social augmented reality.
Proceedings of the International Wireless Communications and Mobile Computing Conference, 2015
Prediction of Deceleration Amount of Vehicle Speed in Snowy Urban Roads Using Weather Information and Traffic Data.
Proceedings of the IEEE 18th International Conference on Intelligent Transportation Systems, 2015
Tracking motion context of railway passengers by fusion of low-power sensors in mobile devices.
Proceedings of the 2015 ACM International Symposium on Wearable Computers, 2015
Proceedings of the 2015 IEEE Conference on Computer Communications Workshops, 2015
Multi-dimensional sensor data aggregator for adaptive network management in M2M communications.
Proceedings of the IFIP/IEEE International Symposium on Integrated Network Management, 2015
Proceedings of the Eighth International Conference on Mobile Computing and Ubiquitous Networking, 2015
Proceedings of the 2015 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2015
Activity recognition of railway passengers by fusion of low-power sensors in mobile phones.
Proceedings of the 23rd SIGSPATIAL International Conference on Advances in Geographic Information Systems, 2015
Estimation of core temperature based on a human thermal model using a wearable sensor.
Proceedings of the IEEE 4th Global Conference on Consumer Electronics, 2015
2014
IEEE Trans. Mob. Comput., 2014
Pervasive Mob. Comput., 2014
Proceedings of the IEEE 10th International Conference on Wireless and Mobile Computing, 2014
Proceedings of the 2014 IEEE 11th Intl Conf on Ubiquitous Intelligence and Computing and 2014 IEEE 11th Intl Conf on Autonomic and Trusted Computing and 2014 IEEE 14th Intl Conf on Scalable Computing and Communications and Its Associated Workshops, 2014
Detecting smoothness of pedestrian flows by participatory sensing with mobile phones.
Proceedings of the ISWC'14, 2014
Proceedings of the International Conference on Connected Vehicles and Expo, 2014
Cooperative positioning method using on-board LED communication and distance measurement devices.
Proceedings of the IEEE International Conference on Consumer Electronics - Taiwan, 2014
A neighbor collaboration mechanism for mobile crowd sensing in opportunistic networks.
Proceedings of the IEEE International Conference on Communications, 2014
Proceedings of the 2014 ACM International Joint Conference on Pervasive and Ubiquitous Computing, 2014
2013
Quantifying relationship between relative position error of localization algorithms and object identification.
Wirel. Networks, 2013
Knowl. Based Syst., 2013
J. Inf. Process., 2013
J. Ambient Intell. Humaniz. Comput., 2013
Proceedings of the 9th IEEE International Conference on Wireless and Mobile Computing, 2013
Proceedings of the Seventh International Conference on Next Generation Mobile Apps, 2013
Proceedings of the 16th ACM International Conference on Modeling, 2013
Mitigating location and speed errors in floating car data using context-based accuracy estimation.
Proceedings of the 13th International Conference on ITS Telecommunications, 2013
Proceedings of the 2013 IFIP/IEEE International Symposium on Integrated Network Management (IM 2013), 2013
An extension of clustering algorithm for considering link speed in wireless mesh networks.
Proceedings of the IEEE 2nd Global Conference on Consumer Electronics, 2013
Early Detection Method of Service Quality Reduction Based on Linguistic and Time Series Analysis of Twitter.
Proceedings of the 27th International Conference on Advanced Information Networking and Applications Workshops, 2013
2012
Trajectory estimation algorithm for mobile nodes using encounter information and geographical information.
Pervasive Mob. Comput., 2012
Highlights: IEEE ITS Society Technical Committee on Mobile Communications Networks for ITS [Technical Committees].
IEEE Intell. Transp. Syst. Mag., 2012
Protocol Testing and Performance Evaluation for MANETs with Non-uniform Node Density Distribution.
Proceedings of the Testing Software and Systems, 2012
Clearing a Crowd: Context-Supported Neighbor Positioning for People-Centric Navigation.
Proceedings of the Pervasive Computing - 10th International Conference, 2012
Proceedings of the 5th International Conference on New Technologies, 2012
Proceedings of the Second Symposium on Network Cloud Computing and Applications, 2012
Proceedings of the Wireless Mobile Communication and Healthcare, 2012
Simulating CSMA/CA behavior for performance evaluation of multi-hop wireless networks.
Proceedings of the 20th IEEE International Workshop on Quality of Service, 2012
A self-learning traffic signal control method for CO2 reduction using prediction of vehicle arrivals.
Proceedings of the 15th International IEEE Conference on Intelligent Transportation Systems, 2012
A Study for Human Centric Cyber Physical System Based Sensing - Toward Safe and Secure Urban Life -.
Proceedings of the Information Search, Integration and Personalization, 2012
Performance evaluation of mobility-based energy-saving to control air-conditioning and lighting equipments.
Proceedings of the Sustainable Internet and ICT for Sustainability, 2012
Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012
An Extension of Wireless Internet-Access Mesh Network Simulator for Use of Smart Antenna.
Proceedings of the 2012 Seventh International Conference on Broadband, 2012
2011
Comput. Commun., 2011
Proceedings of the 74th IEEE Vehicular Technology Conference, 2011
An efficient localization algorithm focusing on stop-and-go behavior of mobile nodes.
Proceedings of the Ninth Annual IEEE International Conference on Pervasive Computing and Communications, 2011
A Simple Mobility Model Realizing Designated Node Distributions and Natural Node Movement.
Proceedings of the IEEE 8th International Conference on Mobile Adhoc and Sensor Systems, 2011
Proceedings of the MASCOTS 2011, 2011
Implementation of a data collection mechanism in electronic triage system using wireless sensor devices.
Proceedings of the IEEE 36th Conference on Local Computer Networks, 2011
A Proposal of Fixed Backoff-time Switching Method by Link Activation Rate for Wireless Mesh Networks.
Proceedings of the International Conference on Complex, 2011
Proceedings of the 2011 International Conference on P2P, 2011
2010
An Intervehicular-Communication Protocol for Distributed Detection of Dangerous Vehicles.
IEEE Trans. Veh. Technol., 2010
Pervasive Mob. Comput., 2010
Evaluation of dissemination-based inter-vehicle ad-hoc communication protocols for local traffic information services.
Int. J. Wirel. Mob. Comput., 2010
Proceedings of the Eigth Annual IEEE International Conference on Pervasive Computing and Communications, 2010
Proceedings of the 18th annual IEEE International Conference on Network Protocols, 2010
2009
Ad Hoc Networks, 2009
Proceedings of the IEEE Vehicular Networking Conference, 2009
Proceedings of the Ubiquitous Intelligence and Computing, 6th International Conference, 2009
Proceedings of the 2nd International Conference on Simulation Tools and Techniques for Communications, 2009
Optimal Assignment of Real-Time Systems into Multi-context Dynamically Reconfigurable Processors.
Proceedings of the 15th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2009
Proceedings of the 23rd International Workshop on Principles of Advanced and Distributed Simulation, 2009
Proceedings of the 12th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2009
2008
Proceedings of the Software-Intensive Systems and New Computing Paradigms, 2008
J. Inf. Process., 2008
Proceedings of the WCNC 2008, IEEE Wireless Communications & Networking Conference, March 31 2008, 2008
Proceedings of the 67th IEEE Vehicular Technology Conference, 2008
An Off-line Algorithm to Estimate Trajectories of Mobile Nodes Using Ad-hoc Communication (concise contribution).
Proceedings of the Sixth Annual IEEE International Conference on Pervasive Computing and Communications (PerCom 2008), 2008
Proceedings of the 22st International Workshop on Principles of Advanced and Distributed Simulation, 2008
Proceedings of the NETWORKING 2008, Ad Hoc and Sensor Networks, Wireless Networks, 2008
D-Sense: An Integrated Environment for Algorithm Design and Protocol Implementation in Wireless Sensor Networks.
Proceedings of the Management of Converged Multimedia Networks and Services, 2008
Stability Oriented Overlay Multicast for Multimedia Streaming in Multiple Source Context.
Proceedings of IEEE International Conference on Communications, 2008
2007
Design and Evaluation of Intervehicle Dissemination Protocol for Propagation of Preceding Traffic Information.
IEEE Trans. Intell. Transp. Syst., 2007
Proposal of a hierarchical heuristic algorithm for node assignment in bidirectional Manhattan street networks.
Syst. Comput. Jpn., 2007
A proposal of improved lip contour extraction method using deformable template matching and its application to dental treatment.
Syst. Comput. Jpn., 2007
Performance evaluation of mobile wireless communication and services with modelling of real environment.
Int. J. Ad Hoc Ubiquitous Comput., 2007
Deriving protocol specifications from service specifications written as Predicate/Transition-nets.
Comput. Networks, 2007
Proceedings of the 65th IEEE Vehicular Technology Conference, 2007
Efficient Parallel Simulation of Mobile Wireless Networks by Run-time Prediction of Multi-hop Propagation Delay.
Proceedings of the 3rd International ICST Conference on Testbeds and Research Infrastructures for the Development of Networks and Communities, 2007
Efficient Acquisition of Local Traffic Information using Inter-Vehicle Communication with Queries.
Proceedings of the IEEE Intelligent Transportation Systems Conference, 2007
Proceedings of the INFOCOM 2007. 26th IEEE International Conference on Computer Communications, 2007
2006
Symbolic model checking of extended finite state machines with linear constraints over integer variables.
Syst. Comput. Jpn., 2006
A distributed algorithm for constructing minimum delay spanning trees under bandwidth constraints on overlay networks.
Syst. Comput. Jpn., 2006
J. Frankl. Inst., 2006
A Timed Failure Equivalence Preserving Abstraction for Parametric Time-interval Automata.
Int. J. Found. Comput. Sci., 2006
Proceedings of the 4th IEEE Conference on Pervasive Computing and Communications Workshops (PerCom 2006 Workshops), 2006
Proceedings of the Management of Integrated End-to-End Communications and Services, 2006
Proceedings of the 3rd Annual International ICST Conference on Mobile and Ubiquitous Systems: Computing, 2006
An Internet Gateway Access-Point Selection Problem forWireless Infrastructure Mesh Networks.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
A Technique for Information Sharing using Inter-Vehicle Communication with Message Ferrying.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
Demonstration of a Cellular Phone Application Based on Context-Aware Group Formation.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
MobiREAL : Scenario Generation and Toolset for MANET Simulation with Realistic Node Mobility.
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
Proceedings of the 7th International Conference on Mobile Data Management (MDM 2006), 2006
A real time budgeting method for module-level-pipelined bus based system using bus scenarios.
Proceedings of the 43rd Design Automation Conference, 2006
2005
Double Depth First Search Based Parametric Analysis for Parametric Time-Interval Automata.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
An Optical-Drop Wavelength Assignment Algorithm for Efficient Wavelength Reuse under Heterogeneous Traffic in WDM Ring Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2005
Proceedings of the Network and Operating System Support for Digital Audio and Video, 2005
Getting urban pedestrian flow from simple observation: realistic mobility generation in wireless network simulation.
Proceedings of the 8th International Symposium on Modeling Analysis and Simulation of Wireless and Mobile Systems, 2005
Proceedings of the 13th International Symposium on Modeling, 2005
Proceedings of the 34th International Conference on Parallel Processing (ICPP 2005), 2005
Personally Customizable Group Navigation System Using Cellular Phones and Wireless Ad-Hoc Communication.
Proceedings of the 2005 IEEE International Conference on Multimedia and Expo, 2005
Framework and Rule-Based Language for Facilitating Context-Aware Computing Using Information Appliances.
Proceedings of the 25th International Conference on Distributed Computing Systems Workshops (ICDCS 2005 Workshops), 2005
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2005
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
Optical-Drop Wavelength Assignment Problem for Wavelength Reuse in WDM Ring Metropolitan Area Networks.
Proceedings of the 19th International Conference on Advanced Information Networking and Applications (AINA 2005), 2005
2004
A Method for Designing Multimedia Protocols using Both Parametric Model Checking and Functional Testing.
Stud. Inform. Univ., 2004
Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004
Middleware Providing Dynamic Group Communication Facility for Cellular Phone Applications.
Proceedings of the 5th IEEE International Conference on Mobile Data Management (MDM 2004), 2004
Proceedings of the 12th IEEE International Conference on Networks, 2004
Middleware Providing Group Communication Facility Based on Muliti-Way Synchronization for Cellular Phone Applications.
Proceedings of the 24th International Conference on Distributed Computing Systems Workshops (ICDCS 2004 Workshops), 2004
Proceedings of the 24th International Conference on Distributed Computing Systems (ICDCS 2004), 2004
A Global Timed Bisimulation Preserving Abstraction for Parametric Time-Interval Automata.
Proceedings of the Automated Technology for Verification and Analysis: Second International Conference, 2004
2003
A test sequence generation method for communication protocols using the SAT algorithm.
Syst. Comput. Jpn., 2003
Protocol synthesis and re-synthesis with optimal allocation of resources based on extended Petri nets.
Distributed Comput., 2003
A Proposal of a Minimal-State Processing Search Algorithm for Link Scheduling Problems in Packet Radio Networks.
Proceedings of the 2003 Symposium on Applications and the Internet (SAINT 2003), 27-31 January 2003, 2003
Proceedings of the 17th Workshop on Parallel and Distributed Simulation, 2003
A two-stage hierarchical algorithm for wavelength assignment in WDM-based Bidirectional Manhattan Street Networks.
Proceedings of the 11th IEEE International Conference on Networks, 2003
Proceedings of the 2003 IEEE International Conference on Multimedia and Expo, 2003
A Receiver Coordination Protocol for the Efficient Use of Bandwidth in Distributed Multimedia Applications.
Proceedings of the 23rd International Conference on Distributed Computing Systems Workshops (ICDCS 2003 Workshops), 2003
Design and Implementation of Priority Queuing Mechanism on FPGA Using Concurrent Periodic EFSMs and Parametric Model Checking.
Proceedings of the Field Programmable Logic and Application, 13th International Conference, 2003
Decomposing Service Definition in Predicate/Transition-Nets for Designing Distributed Systems.
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
Proceedings of the Formal Techniques for Networked and Distributed Systems - FORTE 2003, 23rd IFIP WG 6.1 International Conference, Berlin, Germany, September 29, 2003
A Proposal of a Minimal-State Processing Search Algorithm for Isochronous Channel Reuse Problems in DQDB Networks.
Proceedings of the 17th International Conference on Advanced Information Networking and Applications (AINA'03), 2003
2002
A Quasi-Solution State Evolution Algorithm for Channel Assignment Problems in Cellular Networks.
IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2002
Comput. Networks, 2002
Proceedings of the 31st International Conference on Parallel Processing (ICPP 2002), 2002
Proceedings of the Information Networking, 2002
An Optimal Path Selection Algorithm for Static and Mobile Multicast Routing Problems.
Proceedings of the Information Networking, 2002
A Proposal of a Quasi-Solution State Evolution Algorithm for Channel Assignment Problems.
Proceedings of the Information Networking, 2002
Proceedings of the Field-Programmable Logic and Applications, 2002
A Language for Describing Wireless Mobile Applications with Dynamic Establishment of Multi-way Synchronization Channels.
Proceedings of the FME 2002: Formal Methods, 2002
2001
Comput. Networks, 2001
Proceedings of the IEEE International Conference on Systems, 2001
Proceedings of the 2001 International Conference on Microelectronics Systems Education, 2001
Protocol Synthesis from SMIL-Based Scenarios and Its Implementation in Distributed Environment.
Proceedings of the 15th International Conference on Information Networking, 2001
A Conformance Testing Method for Communication Protocols Modeled as Concurrent DFSMs.
Proceedings of the 15th International Conference on Information Networking, 2001
Deriving Parameter Conditions for Periodic Timed Automata Satisfying Real-Time Temporal Logic Formulas.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
A Method to Generate Conformance Test Sequences for FSM with Timer System Call.
Proceedings of the Formal Techniques for Networked and Distributed Systems, 2001
2000
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources.
Proceedings of the Fifteenth IEEE International Conference on Automated Software Engineering, 2000
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 2000
Proceedings of the 2000 IEEE International Conference on Multimedia and Expo, 2000
Hardware implementation of Concurrent Periodic EFSM's.
Proceedings of the Formal Techniques for Distributed System Development, 2000
Hardware implementation of communication protocols modeled by concurrent EFSMs with multi-way synchronization.
Proceedings of the 37th Conference on Design Automation, 2000
1999
Generating Test Cases for a Timed I/O Automaton Model.
Proceedings of the Testing of Communicating Systems: Method and Applications, 1999
Proceedings of the International Joint Conference Neural Networks, 1999
Specification of Real-Time Systems Using a Timed Automata Model with Shared Variables and Verification of Partial-Deadlock Freeness.
Proceedings of the 1999 International Conference on Parallel Processing Workshops, 1999
Proceedings of the Seventh Annual International Conference on Network Protocols, 1999
Formal Design Verification for Correctness of Pipelined Microprocessors with Out-of-order Instruction Execution.
Proceedings of the 1999 Conference on Asia South Pacific Design Automation, 1999
1998
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998
Design and Implementation of an Efficient I/O Method for a Real-Time User Level Thread Library.
Proceedings of the 5th International Workshop on Real-Time Computing Systems and Applications (RTCSA '98), 1998
Resource Management for Quality of Service Guarantees in Multi-Party Multimedia Application.
Proceedings of the 1998 International Conference on Network Protocols (ICNP '98), 1998
Hardware synthesis from protocol specifications in LOTOS.
Proceedings of the Formal Description Techniques and Protocol Specification, 1998
1997
Proceedings of the 1997 International Conference on Parallel and Distributed Systems (ICPADS '97), 1997
Implementation of Distributed Systems described with LOTOS Multi-rendezvous on Bus Topology Networks.
Proceedings of the Formal Description Techniques and Protocol Specification, 1997
1996
Proof method for correctness of refinements of algebraic specification in abstract sequential machine style.
Syst. Comput. Jpn., 1996
Distributed Comput., 1996
Time-Action Alternating Model for Timed LOTOS and its Symbolic Verification of Bisimulation Equivalence.
Proceedings of the Formal Description Techniques IX: Theory, 1996
1995
Proceedings of the 1995 International Conference on Network Protocols, 1995
Proceedings of the 1995 International Conference on Network Protocols, 1995
Synthesis of Protocol Entities' Specifications from Service Specifications in a Petri Net Model with Registers.
Proceedings of the 15th International Conference on Distributed Computing Systems, Vancouver, British Columbia, Canada, May 30, 1995
A LOTOS Compiler Generating Multi-threaded Object Codes.
Proceedings of the Formal Description Techniques VIII, 1995
Verification of Liveness Property for Communicating FSM's with Conditional Transitions Depending on State Visiting Numbers.
Proceedings of the Formal Description Techniques VIII, 1995
1994
Automatic Analysis and Test Case Derivation for a Restricted Class of LOTOS Expressions with Data Parameters.
IEEE Trans. Software Eng., 1994
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
Proceedings of the Theorem Provers in Circuit Design, 1994
Hardware synthesis from a restricted class of LOTOS expressions.
Proceedings of the Protocol Specification, 1994
Proceedings of the 16th International Conference on Software Engineering, 1994
1993
Proceedings of the 13th International Conference on Distributed Computing Systems, 1993
LOTOS enhancement to specify time constraint among non-adjacent actions using first order logic.
Proceedings of the Formal Description Techniques, VI, Proceedings of the IFIP TC6/WG6.1 Sixth International Conference on Formal Description Techniques, 1993
1992
Test System for a Restricted Class of LOTOS Expressions with Data Parameters.
Proceedings of the Protocol Test Systems, V, 1992
VTM: A Graph Editor for Large Trees.
Proceedings of the Algorithms, Software, Architecture, 1992
1991
Proceedings of the Software Science and Engineering: Selected Papers from the Kyoto Symposia, 1991
1989
Verification of safeness and mutual exclusion properties of algebraically specified token ring LAN protocol.
Syst. Comput. Jpn., 1989
Automated Verification of Equivalence of Protocol Machines.
Proceedings of the Protocol Specification, 1989
1987
Verification of progress property of algebraically specified communication protocols.
Syst. Comput. Jpn., 1987
1984
IEEE Trans. Software Eng., 1984