900 search results - page 125 / 180 » A Tool-Supported Approach to Testing UML Design Models |
167
Voted
FOSSACS
2001
Springer
15 years 8 months ago
2001
Springer
Hierarchical Message Sequence Charts are a well-established formalism to specify telecommunication protocols. In this model, numerous undecidability results were obtained recently ...
149
Voted
JPDC
2000
15 years 3 months ago
2000
: SIMD arrays are likely to become increasingly important as coprocessors in domain specific systems as architects continue to leverage RAM technology in their design. The problem ...
118
Voted
CSDA
2007
15 years 3 months ago
2007
Functional mixed-effects models are very useful in analyzing functional data. A general functional mixed-effects model that inherits the flexibility of linear mixed-effects model...
135
click to vote
GLOBECOM
2009
IEEE
15 years 7 months ago
2009
IEEE
In this paper we discuss the design of optimization algorithms for cognitive wireless networks (CWNs). Maximizing the perceived network performance towards applications by selectin...
128
click to vote
GREC
2003
Springer
15 years 8 months ago
2003
Springer
In this paper, we introduce a system that aims at recognizing chart images using a model-based approach. First of all, basic chart models are designed for four different chart typ...