173 search results - page 16 / 35 » gi 2009 |
GI
2009
Springer
13 years 12 months ago
2009
Springer
Abstract: Free theorems establish interesting properties of parametrically polymorphic functions, solely from their types, and serve as a nice proof tool. For pure and lazy functio...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: There is a large body of research on the topic of political communication in traditional media and in online media. Since President Obama has made use of new forms of participati...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: In biomolecular simulations intensive computations are spent in nonbonded interactions kernels, i.e., electrostatic interactions. Therefore this part can be considered as...
GI
2009
Springer
13 years 10 months ago
2009
Springer
: This paper presents the iQser approach, a new semantic technology promising to overcome some of the shortcomings of current semantic enterprise solutions. The iQser technology is...
GI
2009
Springer
13 years 5 months ago
2009
Springer
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...