16 citations · 28 across the 7 of their papers we have counts for
7 papers
JADE - A Platform for Research on Cooperation of Physical and Virtual Agents
Wiktor B. Daszczuk, Jerzy Mieścicki
In the ICS, WUT a platform for simulation of cooperation of physical and virtual mobile agents is under development. The paper describes the motivation of the research, an organiza…
Distributed algorithm for empty vehicles management in personal rapid transit (PRT) network
Wiktor B. Daszczuk, Jerzy Mieścicki, Waldemar Grabski
In this paper, an original heuristic algorithm of empty vehicles management in personal rapid transit network is presented. The algorithm is used for the delivery of empty vehicles…
Practical Approach to Distributed Systems' Design
Jerzy Mieścicki, Wiktor B. Daszczuk, Waldemar Grabski +1
The paper, based on authors' experience from several distributed systems integration projects, summarizes briefly practical designer's view on methodological requirements and overa…
Model Checking in The COSMA Environment as a Support for The Design of Pipelined Processing
Jerzy Mieścicki, Bogdan Czejdo, Wiktor B. Daszczuk
The case study analyzed in the report involves the behavioral specification and verification of a three-stage pipeline consisting of mutually concurrent modules which also compete…
Concurrent Software Design Based on Constraints on State Diagrams
Bogdan D. Czejdo, Wiktor B. Daszczuk, Jerzy Mieścicki
Concurrent software for engineering computations consists of multiple cooperating modules. The behavior of individual modules is described by means on state diagrams. In the paper,…
Behavioral an real-time verification of a pipeline in the COSMA environment
Jerzy Mieścicki, Wiktor B. Daszczuk
The case study analyzed in the paper illustrates the example of model checking in the COSMA environment. The system itself is a three-stage pipeline consisting of mutually concurre…