17471 search results - page 3151 / 3495 » Information Modeling |
170
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
158
click to vote
DSS
2006
15 years 6 months ago
2006
Consumers increasingly obtain direct consultations from experts, thanks to the prevalent use of Information Technology and the Internet. Motivated by the online consultation pract...
140
click to vote
ENDM
2006
15 years 6 months ago
2006
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
156
click to vote
ENTCS
2006
15 years 6 months ago
2006
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
197
click to vote
IJDMMM
2008
15 years 6 months ago
2008
: Remote sensing and mobile devices nowadays collect a huge amount of spatial data, which have to be analysed in order to discover interesting information about economic, social an...