1663 search results - page 202 / 333 » Validation and Verification of Simulation Models |
140
click to vote
ECMDAFA
2010
Springer
15 years 7 months ago
2010
Springer
Domain Specific Modeling Languages (DSML) are more and more used to handle high level concepts, and thus bring complex software development under control. The increasingly recurrin...
151
click to vote
ETRA
2008
ACM
15 years 6 months ago
2008
ACM
The goal of this paper is to predict future horizontal eye movement trajectories within a specified time interval. To achieve this goal a linear horizontal oculomotor plant mechan...
124
click to vote
DAC
2009
ACM
16 years 5 months ago
2009
ACM
Emerging organic light-emitting diode (OLED)-based displays obviate external lighting; and consume drastically different power when displaying different colors, due to their emiss...
130
click to vote
ISSTA
2009
ACM
15 years 11 months ago
2009
ACM
During testing, the execution of valid cases is only one part of the task. Checking the behavior in boundary situations and in the presence of errors is an equally important subje...
157
click to vote
ALGOSENSORS
2004
Springer
15 years 8 months ago
2004
Springer
In this paper we introduce a dynamical model for wireless sensor networks. We obtain a convergent martingale for the broadcast process in such networks. To our knowledge, such mart...