266 search results - page 8 / 54 » Specification and Verification of Dynamic Communication Syst... |
SRDS
2000
IEEE
13 years 11 months ago
2000
IEEE
As has been shown, the polygon time structure overcomes the main limitations of the interval time structure, and allows to verify communication protocols, in which the explicit co...
EWSA
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. Modern systems are heterogeneous, geographically distributed and highly dynamic since the communication topology can vary and the components can, at any moment, connect t...
MEMOCODE
2003
IEEE
14 years 19 days ago
2003
IEEE
CSP (Communicating Sequential Processes) is a useful algebraic notation for creating a hierarchical behavioural specification for concurrent systems, due to its formal interproces...
ICSE
2005
IEEE-ACM
14 years 7 months ago
2005
IEEE-ACM
Embedded systems are pervasive and frequently used for critical systems with time-dependent functionality. Dwyer et al. have developed qualitative specification patterns to facili...
DATE
2003
IEEE
14 years 20 days ago
2003
IEEE
ng precision of abstract SystemC models using the SystemC Verification Standard Franco Carbognani1 , Christopher K. Lennard2 , C. Norris Ip3 , Allan Cochrane2 , Paul Bates2 1 Caden...