9806 search results - page 1680 / 1962 » Engineering adaptive requirements |
187
click to vote
FATES
2003
Springer
15 years 12 months ago
2003
Springer
Use of model-checking approaches for test generation from requirement models have been proposed by several researchers. These approaches leverage the witness (or counter-example) ...
194
click to vote
FPGA
2003
ACM
15 years 12 months ago
2003
ACM
In this paper, we present the first exact algorithm to solve the constrained I/O placement problem for FPGAs that support multiple I/O standards. We derive a compact integer line...
193
Voted
ICCS
2003
Springer
15 years 12 months ago
2003
Springer
In many areas of design search and optimisation one needs to utilize Computational Fluid Dynamics (CFD) methods in order to obtain numerical solution of the flow field in and/or ...
164
click to vote
ISMIS
2003
Springer
15 years 12 months ago
2003
Springer
As broadband access to the Internet becomes pervasive, the need for a 24 hours a day, seven days a week (24x7) interface within the client devices, requires a level of sophisticati...
197
click to vote
WEA
2010
Springer
15 years 12 months ago
2010
Springer
Server based route planning in road networks is now powerful enough to find quickest paths in a matter of milliseconds, even if detailed information on time-dependent travel times...