14244 search results - page 2430 / 2849 » Modeling Program Predictability |
135
click to vote
RTA
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. For narrowing to be an efficient evaluation mechanism, several lazy narrowing strategies have been proposed, although typically for the restricted case of left-linear con...
122
Voted
STACS
2005
Springer
15 years 9 months ago
2005
Springer
We introduce and study Recursive Markov Chains (RMCs), which extend ordinary finite state Markov chains with the ability to invoke other Markov chains in a potentially recursive m...
116
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Adaptive information systems typically exploit knowledge about the user’s interests, preferences, goals etc. to determine what should be presented to the user and how this presen...
153
click to vote
UML
2005
Springer
15 years 9 months ago
2005
Springer
Refactoring of UML class diagrams is an emerging research topic and heavily inspired by refactoring of program code written in object-oriented implementation languages. Current cla...
152
click to vote
WAC
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. In this paper we describe ConStruct, a distributed, contextaggregation based service infrastructure which supports the development of context-aware applications. ConStruc...