571 search results - page 19 / 115 » A Case Study in Parallel Verification of Component-Based Sys... |
ICFEM
1998
Springer
13 years 12 months ago
1998
Springer
Studying industrial systems by simulation enables the designer to study the dynamic behaviour and to determine some characteristics of the system. Unfortunately, simulation also h...
WETICE
2003
IEEE
14 years 1 months ago
2003
IEEE
Mobile agents are an emerging approach to develop distributed and parallel applications. They also can be exploited to develop enterprise applications, since they can act as activ...
HYBRID
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
IPPS
2007
IEEE
14 years 2 months ago
2007
IEEE
Dynamic networks, e.g. Mobile Ad Hoc Networks (MANETs), call for adaptive protocols that can tolerate topological changes due to nodes’ mobility and depletion of battery power. ...
IPPS
1998
IEEE
13 years 12 months ago
1998
IEEE
Abstract. The development of network-aware applications, i.e. applications that dynamically adapt to network conditions, has had some success in the domain of multimedia applicatio...