9739 search results - page 144 / 1948 » Object-Oriented Analysis and Design |
140
Voted
HYBRID
1994
Springer
15 years 7 months ago
1994
Springer
We make the case that Discrete Event System Speci cation DEVS is a universal formalismfor discrete event dynamical systems DEDS. DEVS o ers an expressive framework for modelling, ...
113
Voted
CSC
2006
15 years 5 months ago
2006
Design and application of super elements in efficient prediction of the structural behaviour in a short time has been one of the research interests in the last decade. A new 16-no...
117
Voted
MBUI
2004
15 years 5 months ago
2004
In this paper, we discuss the issues preventing adoption of analysis, design and modeling (AMD) software development tools. We argue that AMD tools are experiencing the same probl...
98
Voted
CORR
2007
Springer
15 years 3 months ago
2007
Springer
— In this paper, we present an analytical analysis of the convergence of raptor codes under joint decoding over the binary input additive white noise channel (BIAWGNC), and deriv...
157
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...