1816 search results - page 142 / 364 » Case study in modeling and simulation validation methodology |
146
click to vote
HCI
2007
15 years 6 months ago
2007
Advances in sensor technology, embedded processing power, and modeling and reasoning software, have created the possibility for everyday products to sense the environment and pro-a...
154
click to vote
AAECC
2007
Springer
15 years 4 months ago
2007
Springer
We present a simulation-based performance model to analyze a parallel sparse LU factorization algorithm on modern cached-based, high-end parallel architectures. We consider supern...
165
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Information system designers face many challenges w.r.t. selecting appropriate semantic technologies and deciding on a modelling approach for their system. However, there...
139
Voted
ISTA
2004
15 years 6 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
125
click to vote
ASM
2008
ASM
15 years 6 months ago
2008
ASM
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...