391 search results - page 42 / 79 » Code Improvements for Model Elimination Based Reasoning Syst... |
144
Voted
ITIIS
2008
15 years 3 months ago
2008
WiMAX has been introduced as a competitive alternative for metropolitan broadband wireless access technologies. It is connection oriented and it can provide very high data rates, ...
147
Voted
ICPADS
2002
IEEE
15 years 8 months ago
2002
IEEE
Video-on-demand (VoD) systems have traditionally been built on the client-server architecture, where a video server stores, retrieves, and transmits video data to video clients fo...
133
Voted
ENVSOFT
2007
15 years 3 months ago
2007
Numerical modelling is now used routinely to make predictions about the behaviour of environmental systems. Model calibration remains a critical step in the modelling process and ...
126
Voted
FM
2005
Springer
15 years 9 months ago
2005
Springer
This paper presents an automated and compositional procedure to solve the substitutability problem in the context of evolving software systems. Our solution contributes two techniq...
158
Voted
UML
2005
Springer
15 years 9 months ago
2005
Springer
We present in this paper a rigorous and automated based approach for the behavioral validation of control software systems. This approach relies on metamodeling, model-transformati...