Formal Description Techniques and Protocol Specification, Testing and Verification
FORTE X / PSTV XVII ’97
Page
%P
-
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...
-
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 ...
-
Book
-
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...
-
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...
-
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...
-
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...
-
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
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...
