1980 search results - page 107 / 396 » Compositional Model Checking of Real Time Systems |
148
click to vote
INFOCOM
2008
IEEE
15 years 8 months ago
2008
IEEE
Abstract—Motivated by the increasing usage of wireless broadcast networks for multicast real-time applications like video, this paper considers a canonical real-time multicast sc...
123
click to vote
ACAL
2009
Springer
15 years 8 months ago
2009
Springer
Embryogenic evolution emulates in silico cell-like entities to get more powerful methods for complex evolutionary tasks. As simulations have to from the biological model, implicit ...
111
click to vote
WSC
1998
15 years 3 months ago
1998
This paper presents the application of real-time simulation to assign due dates on logistic-manufacturing networks. Information from the manufacturing, transportation, and supplie...
123
click to vote
FUIN
2010
14 years 11 months ago
2010
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 ho...
151
Voted
DSRT
2005
IEEE
15 years 7 months ago
2005
IEEE
Understanding the characteristics of information flow in large scale real-time distributed virtual simulations (RT-DVS) is important for the development of network services that a...