The software architecture of a distributed program can be represented by a hierarchical
composition of subsystems, with interacting processes at the leaves of the hierarchy …

RFID technology holds the promise of real-time identifying, locating and monitoring physical
objects. To achieve these goals, RFID events need to be collected efficiently and composed …

Despite their attractive properties, networked virtual environments (net-VEs) are notoriously
difficult to design, implement, and test due to the concurrency, real-time and networking …

Develo** a virtual reality application is a dificult task. FOT one thing, it requires an in-
depth knowledge and understanding in many different disciplines. However, the most dificult …

Time Petri nets (TPNs) have been widely used for the verification and validation of real-time
systems during the software development process. Their quantitative analysis consists in …

In this paper, an efficient method is presented to solve the state explosion problem in Petri
nets by using matching theory. It is difficult to analyze a Petri net when there are too many …

This paper deals with the behavior of virtual environments from the collaboration point-of-
view, in which actors (human or virtual beings) interact and collaborate by means of …

(57) ABSTRACT A method and apparatus for Synchronizing the execution of a Sequence of
graphics pipelines is provided. For a repre Sentative embodiment a Sequence of graphics …

This research extends the knowledge of live-virtual-constructive (LVC) and distributed virtual
simulations (DVS) through a detailed analysis and characterization of their underlying …

Abstract Bounded Model Checking (BMC) is an efficient technique applicable to verification
of temporal properties of (timed) distributed systems. In this paper we show for the first time …