4061 search results - page 333 / 813 » The Dynamics of Change |
175
click to vote
WOA
2000
15 years 8 months ago
2000
If we consider most applications accessible through the Web, we can notice a lack of support able to adapt to the different information needs that different users may have regardi...
179
click to vote
CASCON
1996
15 years 8 months ago
1996
A memory-adaptive sort is able to dynamically change the amount of memory used during sorting. The method described in this paper adjusts memory usage according to input size and ...
180
click to vote
ENTCS
2008
15 years 6 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
151
click to vote
IGPL
2008
15 years 6 months ago
2008
A new version of transition logic is presented. It integrates (dynamic) transitions, which change world states, and classical (static) reasoning, restricted in the paper to Horn l...
209
click to vote
ITSSA
2006
15 years 6 months ago
2006
: Electronic institutions (EIs) have been proposed as a means of regulating open agent societies. EIs define the rules of the game in agent societies by fixing what agents are perm...