16702 search results - page 440 / 3341 » Server operating systems |
148
Voted
APAL
2007
15 years 7 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 ...
187
click to vote
DAM
2008
15 years 7 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...
209
click to vote
ATAL
2005
Springer
16 years 11 days ago
2005
Springer
Rational strategic reasoning is the process whereby an agent reasons about the best strategy to adopt in a given multi-agent scenario, taking into account the likely behaviour of ...
252
click to vote
EDO
2006
Springer
15 years 10 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
285
click to vote
ICDE
1999
IEEE
16 years 8 months ago
1999
IEEE
As mobile computing devices become more and more popular, mobile databases have started gaining popularity. An important feature of these database systems is their ability to allo...