16702 search results - page 472 / 3341 » Server operating systems |
145
click to vote
AAAI
1998
15 years 8 months ago
1998
Mixed-initiativesystemspresent the challengeof finding an effective level of interaction betweenhumans and computers. Machinelearning presents a promising approachto this problemi...
192
click to vote
LOGCOM
1998
15 years 6 months ago
1998
Sound and complete modal propositional logic C is presented, in which 2P has the interpretation “ P is true in all states”. The interpretation is already known as the Carnapia...
265
click to vote
SIGMOD
2009
ACM
16 years 7 months ago
2009
ACM
HoTMaN (HoT-standby MaNager) is a joint research and development project between MySpace and USC Database Laboratory to design and develop a tool to ensure a 24x7 up-time and ease...
185
click to vote
COMCOM
1998
15 years 6 months ago
1998
Using cable modems that operate at several hundred times the speed of conventional telephone modems, many cable operators are beginning to offer World Wide Web access and other da...
203
click to vote
FPGA
2000
ACM
15 years 10 months ago
2000
ACM
In recent years the application space of reconfigurable devices has grown to include many platforms with a strong need for fault tolerance. While these systems frequently contain ...