10707 search results - page 373 / 2142 » Designing executable abstractions |
260
click to vote
WADS
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. The buy-at-bulk network design problem has been extensively studied in the general graph model. In this paper we consider the geometric version of the problem, where all ...
132
click to vote
DATE
2008
IEEE
15 years 11 months ago
2008
IEEE
Property checking is a promising approach to prove the correctness of today’s complex designs. However, in practice this requires the formulation of formal properties which is a...
124
click to vote
ICRA
2007
IEEE
15 years 11 months ago
2007
IEEE
Abstract— Automation of transportation systems and promotion of the operations are becoming an international demand on seaport container terminals. For this issue, we propose an ...
125
click to vote
UML
2005
Springer
15 years 10 months ago
2005
Springer
While model based design of platform independent application logic has already shown significant success, the design of platform independent user interfaces still needs further in...
150
click to vote
ER
2008
Springer
15 years 6 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...