VLDB 2026 Research / reviewers in the wild / expert
Senro Saito
dblp:14/831
· DBLP profile ↗
5ranked-venue papers
1as first author
0since 2021 · last 2010
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Systems, architecture and hardware · 1 · 1 first-authorComputer networks · 1
Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.
| Theoretical computer science
1 paper |
Logic in computer science · 100% | |
| Computer networks
1 paper |
Internet architecture and protocols · 91% Content delivery and video streaming · 9% | |
| Computer graphics and multimedia
1 paper |
Multimedia systems and quality of experience · 100% | |
| Software engineering, system software, and programming languages
1 paper |
Program verification · 100% |
Topics — the 8 heaviest of 8, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Multimedia systems and quality of experience
multimedia synchronization |
0.0 | 1 | 1996 | Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization · IEEE J. Sel. Areas Commun. 1996 |
Logic in computer science
process algebra |
0.0 | 1 | 1996 | Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization · IEEE J. Sel. Areas Commun. 1996 |
Logic in computer science › process algebra
timed CSP |
0.0 | 1 | 1996 | Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization · IEEE J. Sel. Areas Commun. 1996 |
Internet architecture and protocols › local area network
broadband LAN |
0.0 | 1 | 1989 | The CrossoverNet LAN System Using an Intelligent Head-End · IEEE Trans. Computers 1989 |
Internet architecture and protocols
local area network |
0.0 | 1 | 1989 | The CrossoverNet LAN System Using an Intelligent Head-End · IEEE Trans. Computers 1989 |
Internet architecture and protocols › network architecture design
OSI reference model |
0.0 | 1 | 1989 | The CrossoverNet LAN System Using an Intelligent Head-End · IEEE Trans. Computers 1989 |
Program verification
temporal logic verification |
0.0 | 1 | 1996 | Using Timed CSP for Specification Verification and Simulation of Multimedia Synchronization · IEEE J. Sel. Areas Commun. 1996 |
Content delivery and video streaming
multimedia transmission |
0.0 | 1 | 1989 | The CrossoverNet LAN System Using an Intelligent Head-End · IEEE Trans. Computers 1989 |
Methods — techniques the papers use, named apart from their topics
temporal logic · 0.0simulation modeling · 0.0prototype implementation · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2010 | Service oriented architecture realized by a messaging networkabstractThis paper introduces an approach to realize service-oriented architecture (SOA) governance using a messaging network. The proposed solution uses a messaging network with a structured overlay. The messaging network is XML-based, and is an actual implementation of a content-based network. The proposed scheme provides a network-centric approach to ensure SOA governance by use of a common proactive scheme on the network infrastructure. Junya Terazono, Hideyuki Fukuhara, Isamu Koseda, Ryutaroh Fujita, Toshiaki Miyazaki, Senro Saito, Takafumi Hayashi |
NOMS | 6 |
| 2005 | Zone-Based Routing Algorithm for Congestion Control over the InternetabstractWith the rapid growth of information technology over the past few years' severe congestion problems have resulted. Many existing models have been proposed to control the congestion for a single network device (router, link etc.). The main problem is when the link or the router between the source and destination is with high congestion or broken down, etc. If there are no alternate links to the destination, users have to wait for the mechanical solutions for the recovery, which will take long time and is expensive as the congestion is at a micro-level. Therefore, we propose a zone-based, congestion control algorithm, which is easy to implement, and users do not have to wait for when the link or router is congested or broken down. The Zone-based routing algorithm is proposed to route the traffic and balance the traffic load to achieve efficient resource utilization. Zone is equal to one AS (autonomous systems) or a collection of neighboring ASes. Ashraf Uddin Ahmed, Senro Saito, Zixue Cheng |
AINA | 2 |
| 2004 | Information Flow Model and Estimations for Services on the InternetabstractThe Internet information flow is a big challenge for the real world. Both technical and non-technical users need to see the current traffic status of their own ISP or zone. Even if some users curiously wanted to see other zones or the global traffic status. To fulfill this requirement for users, this paper approached a new model called Ryuki model. In the four planes Ryuki model, we captured flow information from the bottom plane, estimated the flows and introduced three mathematical indexes in the second plane. The indexes are Ryuki temperature, Ryuki pressure and Ryuki density. Third plane is service plane where two types of services have introduced. And finally, top plane is represented the network status of the zone. Zone is used as an autonomous systems (AS) in this document. The well-known network simulator has used for simulation for the monitoring network traffic to estimate the service (QoS and CoS) related information. Ashraf Uddin Ahmed, Zixue Cheng, Senro Saito |
AINA (1) | 3 |
| 1996 | Using Timed CSP for Specification Verification and Simulation of Multimedia SynchronizationabstractTimed communicating sequential processes (TCSP) language is used to specify fine-grain and coarse-grain multimedia synchronization. A lip synchronization system is an example of fine-grain synchronization. Several groupware scenarios are examples of coarse-grain synchronization. The formal specifications are used as the basis of verification and simulation. Safety and liveness timing requirements of the synchronization system are stated in terms of temporal logic formulas. Correctness analysis of the specification is shown using the temporal formulas and TCSP proof theory. It is shown that TCSP is powerful enough to be used in multimedia system design and verification. Next, simulation of multimedia synchronization is discussed. Various simulation models are developed for fine- and coarse-grain synchronization systems. It is shown that simulation modeling can lead to early detection of possible synchronization violations. The buffering requirements of a given synchronization mechanism can be effectively studied using simulation. Ahmet Feyzi Ates, Murat Bilgic, Senro Saito, Behçet Sarikaya |
IEEE J. Sel. Areas Commun. | 3 |
| 1989 | The CrossoverNet LAN System Using an Intelligent Head-EndabstractThe development of a multimedia broadband local area network (LAN) system named CrossoverNet using a intelligent head-end is presented. This head-end provides two-way digital/analog communication with dynamic channel exchange and network configuration control. Based on these functions, the head-end exchanges analog information in a manner similar to digital circuit exchange. Digital and analog information are transmitted separately over the same broadband cable and integrated in audiovisual protocol layers. To provide these facilities, a LAN architecture conforming to the Open Systems Interconnection (OSI) basic reference model is designed using broadband and CATV network technologies. The result, CrossoverNet, can control, operate, and manage a variety of audiovisual devices that are attached to it in a consistent manner. A prototype experiment illustrates the versatility of the system.> Senro Saito, Hiroyuki Yoshida, Tosiyasu L. Kunii |
IEEE Trans. Computers | 1 |