796 search results - page 92 / 160 » Simulation modeling and analysis of a new international term... |
FMSD
2006
13 years 9 months ago
2006
This paper describes the application of the Real-Time Maude tool and the Maude formal methodology to the specification and analysis of the AER/NCA suite of active network multicast...
ICTAI
2007
IEEE
14 years 3 months ago
2007
IEEE
In this paper we present a new approach for curve clustering designed for analysis of spatiotemporal data. Such kind of data contains both spatial and temporal patterns that we de...
CMSB
2008
Springer
13 years 11 months ago
2008
Springer
We present the Piecewise Linear Approximation Model of Ion Channel contribution (PLAMIC) to cardiac excitation. We use the PLAMIC model to conduct formal analysis of cardiac arrhyt...
GI
2003
Springer
14 years 2 months ago
2003
Springer
: The integrated approach for analysis of Large Complex Critical Infrastructures (LCCIs) to afford survivability aimed at preparing a Roadmap for Research and Development for criti...
ASPDAC
2004
ACM
14 years 2 months ago
2004
ACM
- A new analytical model for high-frequency noise in RF active CMOS mixers such as single-balanced and double-balanced architectures is presented. The analysis includes the contrib...