13489 search results - page 107 / 2698 » Self-migration of operating systems |
106
click to vote
APAL
2007
15 years 4 months ago
2007
We study OST and some of its most important extensions primarily from a proof-theoretic perspective, determine their consistency strengths by exhibiting equivalent systems in the ...
134
click to vote
DAM
2008
15 years 4 months ago
2008
This paper presents an algebraic formalism for reasoning on finite increasing sequences over Boolean algebras in general and on generalizations of Rough Set concepts in particular...
175
click to vote
ECEASST
2008
15 years 4 months ago
2008
The OCL (Object Constraint Language) as part of the UML (Unified Modeling Language) is a rich language with different collection kinds (sets, multi-sets, sequences) and a large var...
151
click to vote
HIS
2008
15 years 6 months ago
2008
XCS is a learning classifier system that combines a reinforcement learning scheme with evolutionary algorithms to evolve rule sets on-line by means of the interaction with an envi...
145
click to vote
HIPC
2009
Springer
15 years 2 months ago
2009
Springer
Group file operations are a new, intuitive idiom for tools and middleware - including parallel debuggers and runtimes, performance measurement and steering, and distributed resourc...