3828 search results - page 148 / 766 » Proof-Based System Engineering Using a Virtual System Model |
173
click to vote
IJVR
2008
15 years 6 months ago
2008
The main goals of using simulations and Virtual Environments for Training/Learning (VET/L) are to avoid risks and unwanted consequences, to reduce training costs, and to promote tr...
166
click to vote
MSWIM
2005
ACM
15 years 11 months ago
2005
ACM
A number of analytical models have been proposed to describe the priority schemes of the Enhanced Distributed Channel Access (EDCA) mechanism of the IEEE 802.11e standard. EDCA pr...
208
click to vote
CORR
2011
Springer
15 years 1 months ago
2011
Springer
Despite the increasing maturity of model-driven development (MDD), some research challenges remain open in the field of information systems (IS). For instance, there is a need to i...
156
click to vote
FORTEST
2008
15 years 7 months ago
2008
Testing is one of the costliest aspects of commercial software development. Model-based testing is a promising approach addressing these deficits. At Microsoft, model-based testin...
177
click to vote
ISBRA
2010
Springer
16 years 1 months ago
2010
Springer
Biological research is becoming increasingly complex and data-rich, with multiple public databases providing a variety of resources: hundreds of thousands of substances and interac...