14244 search results - page 2430 / 2849 » Modeling Program Predictability |
174
click to vote
RTA
2005
Springer
16 years 10 days 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...
172
click to vote
STACS
2005
Springer
16 years 10 days 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...
162
click to vote
UM
2005
Springer
16 years 9 days 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...
195
click to vote
UML
2005
Springer
16 years 9 days 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...
201
Voted
WAC
2005
Springer
16 years 9 days 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...