9110 search results - page 332 / 1822 » Formally-Based Design Evaluation |
143
click to vote
TABLETOP
2006
IEEE
16 years 19 days ago
2006
IEEE
Advancements in mixed-reality (MR) systems have concentrated on the technology required for implementation, providing proof-of-concepts by means of technology-tailored usage scena...
188
click to vote
FDL
2003
IEEE
15 years 12 months ago
2003
IEEE
With the increasing complexity of the emerging embedded real-time systems, traditional design approaches can not provide sufficient support for the development of these systems an...
237
click to vote
DESRIST
2010
Springer
15 years 10 months ago
2010
Springer
This paper explores an ongoing conflict concerning the nature of software design. This conflict manifests itself as antagonism between managers and developers, debates about agile ...
152
click to vote
WSC
2008
15 years 9 months ago
2008
In this paper, an automation concept is proposed to facilitate the simulation model building for port design problem. Currently, this process, which includes drawing the terminal ...
185
click to vote
ER
2008
Springer
15 years 8 months ago
2008
Springer
During data warehouse design, the designer frequently encounters the problem of choosing among different alternatives for the same design construct. The behavior of the chosen desi...