Protocol Test Systems
7th workshop 7th IFIP WG 6.1 international workshop on protocol text systems
Page
%P
-
Chapter
A User-Friendly Software Environment for Designing and Verifying Communication Protocols
This paper presents a user-friendly software environment for protocol design, consisting of EXPA, NESDEL, NESDEL-to-EXPA transformation, and EXPA-to-NESDEL transformation, where EXPA is a protocol verification...
-
Article
A knowledge-based specification technique for protocol development
This paper proposes a knowledge-based specification technique (KST) for protocol development. This technique semi-automatically translates a protocol described in an informal description (natural languages or ...
-
Chapter and Conference Paper
Synthesis algorithm for recursive processes by μ-calculus
This paper proposes an inductive synthesis algorithm for a recursive process from the enumeration of facts, which must be satisfied by the target process. We adopt a subcalculus of μ-calculus to represent facts o...
-
Book
-
Chapter
A New Distributed Algorithm for Implementation of LOTOS Multi-Rendezvous
LOTOS[1] is a high level specification language which incorporates the Multi-Rendezvous. Multi-Rendezvous is a powerful communication mechanism that allows a set of processes to execute an event in synchronous...
-
Chapter
A New Test Sequence Generation Method for Interoperability Testing
A method for generating test sequences for interoperability testing of communication systems is proposed. In the proposed method, the system state graph, which shows behaviours of the whole system, is generate...
-
Chapter and Conference Paper
ProCSuS: A meta system for concurrent process calculi based on SOS
Finally we discuss on going works. We are now updating a graphical tool for labeled transition systems and more intelligent equivalence checker for infinite processes. Where equivalence between two processes i...
-
Chapter
A Synthesis Algorithm of a Protocol Model from a Single Entity
Protocol entities, in communication protocols, behave under sets of communication rules (protocols). Thus, it is desirable to concentrate on the design of one protocol entity and generate the corresponding pro...
-
Article
Fast heuristic scheduling based on neural networks for real-time systems
As most of the real-time scheduling problems are known as hard problems, approximate or heuristic scheduling approaches are extremely required for solving these problems. This paper presents a new heuristic sc...
-
Article
Neural network for optimal steiner tree computation
Hopfield neural network model for finding the shortest path between two nodes in a graph was proposed recently in some literatures. In this paper, we present a modified version of Hopfield model to a more gene...
-
Book
Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
-
Article
Agent-Based Design Model of Adaptive Distributed Systems
A next generation distributed system is expected to adapt to various changes of both the users' requirements and the operational conditions of environment where the distributed system operates. The aim of our ...
-
Article
Routing with multiple QoS requirements for supporting multimedia applications
Distributed multimedia applications usually require multiple QoS performance guarantees. However, in general, searching such a route in the network, to support multimedia applications, is known to be NP‐comple...
-
Chapter and Conference Paper
An Agent Architecture for Strategy-Centric Adaptive QoS Control in Flexible Videoconference System
In this paper, we propose an agent architecture to improve flexibility of a videoconference system with strategy-centric adaptive QoS (Quality of Service) control mechanism. The proposed architecture realizes ...
-
Chapter and Conference Paper
Dynamic Properties of Multiagents Based on a Mechanism of Loose Coalition
In this paper, we propose a method of coalition formation for assigning tasks to appropriate agents to improve the efficiency of multiagent systems. To form a coalition, we introduce subjective information to age...
-
Chapter and Conference Paper
Probabilistic Modeling of Alarm Observation Delay in Network Diagnosis
This paper introduces a probabilistic modeling of alarm observation delay, and shows a novel method of model-based diagnosis for time series observation. Firstly, a fault model is denned by associating an even...
-
Article
An agent architecture for strategy-centric adaptive QoS control in flexible videoconference system
In this paper, we propose an agent architecture to improve flexibility of a videoconference system with strategy-centric adaptive QoS (Quality of Service) control mechanism. The proposed architecture realizes ...
-
Chapter and Conference Paper
Dynamic Behavior of Multiagents with Subjective Cooperative Relations
The aim of this paper is to analyze scaling behavior of the system based on subjective cooperative relations. In our previous works, we have analyzed the efficiency of the system based on subjective cooperativ...
-
Chapter and Conference Paper
An Efficient Approach to Improve TCP Performance over Wireless Networks
We propose a new end-to-end flow control scheme we named as “TCP Identification & Revivable Window (TCP-I&RW)” to improve TCP performance in wireless networks supporting link level retransmissions for link err...
-
Chapter and Conference Paper
An Agent-Based Personalized Distance Learning System for Delivering Appropriate Studying Materials to Learners
In this paper, we propose an agent-based personalized distance learning system for delivering appropriate studying materials to learners by judging learners degree of understanding. The main elements of our pr...
