77016 search results - page 235 / 15404 » Modeling Modeling |
178
click to vote
QEST
2007
IEEE
16 years 24 days ago
2007
IEEE
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
176
click to vote
ITCC
2005
IEEE
16 years 3 days ago
2005
IEEE
models evolve at different levels of abstraction, from the requirements specification to development of the source code. The models underlying this process are related and their ...
171
click to vote
WSC
2007
15 years 8 months ago
2007
Generation of traces from a simulation model and their analysis is a powerful and common mean to debug simulation models. In this paper, we define a measure of progress for simul...
150
click to vote
OPODIS
2003
15 years 8 months ago
2003
Dependable properties such as self-stabilization are crucial requirements in sensor networks. One way to achieve these properties is to utilize the vast literature on distributed ...
149
click to vote
EMSOFT
2004
Springer
15 years 12 months ago
2004
Springer
Performance is an important quality attribute that needs to be and managed proactively. Abstract models of the system are not very useful if they do not produce reasonably accurat...