1104 search results - page 161 / 221 » A Comparison of State-Based Modelling Tools for Model Valida... |
161
click to vote
HASE
2008
IEEE
15 years 3 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
146
click to vote
JPDC
2008
15 years 3 months ago
2008
In this paper, we present parallel multilevel algorithms for the hypergraph partitioning problem. In particular, we describe schemes for parallel coarsening, parallel greedy k-way...
127
click to vote
TOSEM
2002
15 years 3 months ago
2002
d Abstraction of Class Diagrams ALEXANDER EGYED Teknowledge Corporation Designers can easily become overwhelmed with details when dealing with large class diagrams. icle presents a...
149
click to vote
TIT
2010
14 years 10 months ago
2010
Abstract--The goal of this paper is to increase our understanding of the fundamental performance limits of mobile and Delay Tolerant Networks (DTNs), where end-to-end multi-hop pat...
139
click to vote
MSWIM
2004
ACM
15 years 9 months ago
2004
ACM
Discrete event network simulators have emerged as popular tools for verification and performance evaluation for various wireless networks. Nevertheless, the desire to model such ...