4719 search results - page 805 / 944 » Newtonian program analysis |
157
click to vote
SOCO
2007
Springer
15 years 10 months ago
2007
Springer
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
162
click to vote
STACS
2007
Springer
15 years 10 months ago
2007
Springer
Fixed point equations x = f(x) over ω-continuous semirings can be seen as the mathematical foundation of interprocedural program analysis. The sequence 0, f(0), f2 (0), . . . conv...
133
click to vote
UM
2007
Springer
15 years 10 months ago
2007
Springer
Motivation is well-known for its importance in learning and its influence on cognitive processes. Adaptive systems would greatly benefit from having a user model of the learner’s...
129
click to vote
ESCIENCE
2006
IEEE
15 years 10 months ago
2006
IEEE
TextGrid is a new Grid project in the framework of the German D-Grid initiative, with the aim to deploy Grid technologies for humanities scholars working on historical (German) te...
142
click to vote
ICAC
2006
IEEE
15 years 10 months ago
2006
IEEE
— The increasing heterogeneity, dynamism, and uncertainty of emerging DCE (Distributed Computing Environment) systems imply that an application must be able to detect and adapt t...