Sciweavers

3192 search results - page 156 / 639
» Translating Model Simulators to Analysis Models
Sort
View
ICML
2009
IEEE
15 years 4 months ago
Active learning for directed exploration of complex systems
Physics-based simulation codes are widely used in science and engineering to model complex systems that would be infeasible to study otherwise. Such codes provide the highest-fid...
Michael C. Burl, Esther Wang
ICSE
2008
IEEE-ACM
15 years 11 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
ICC
2007
IEEE
135views Communications» more  ICC 2007»
15 years 4 months ago
New Results on Single-Step Power Control System in Finite State Markov Channel: Power Control Error Modelling and Queueing Varia
— The analysis regarding the impact of the single-step power control (SSPC) scheme on the system performance such as bit error rate, packet error rate and queueing variation is h...
Shi-Yong Lee, Min-Kuan Chang
105
Voted
MOBICOM
2006
ACM
15 years 4 months ago
VanetMobiSim: generating realistic mobility patterns for VANETs
In this paper, we present and describe VanetMobiSim, a generator of realistic vehicular movement traces for telecommunication networks simulators. VanetMobiSim mobility descriptio...
Jérôme Härri, Fethi Filali, Chri...
QEST
2007
IEEE
15 years 4 months ago
The PEPA Plug-in Project
We present a GUI-based tool supporting the stochastic process algebra PEPA with modules for performance evaluation through Markovian steady-state analysis, fluid flow analysis, ...
Mirco Tribastone