6343 search results - page 1070 / 1269 » Development of a Cartographic Language |
143
click to vote
FATES
2003
Springer
15 years 9 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) ...
158
click to vote
FM
2003
Springer
15 years 9 months ago
2003
Springer
Safety is increasingly important for software based, critical systems. Fault tree analysis (FTA) is a safety technique from engineering, developed for analyzing and assessing syste...
150
click to vote
ICADL
2003
Springer
15 years 9 months ago
2003
Springer
We designed and implemented a digital library system that supports content-based retrieval of multimedia objects based on MPEG-7 and XQuery. MPEG-7, a metadata standard for multim...
123
click to vote
ICMI
2003
Springer
15 years 9 months ago
2003
Springer
If user interfaces should be made human-like vs. tool-like has been debated in the HCI field, and this debate affects the development of multimodal interfaces. However, little emp...
143
click to vote
IFIP
2003
Springer
15 years 9 months ago
2003
Springer
Efficient communication in Bluetooth scatternets requires design of intra and inter-piconet scheduling algorithms, and therefore numerous algorithms have been proposed. However, du...