1299 search results - page 99 / 260 » On the Correctness of Operating System Kernels |
139
click to vote
IPCCC
1999
IEEE
15 years 8 months ago
1999
IEEE
Performance of Web servers is critical to the success of many corporations and organizations. However, very few results have been published that quantitatively study the server be...
110
click to vote
IVC
2002
15 years 4 months ago
2002
In this paper we propose a paradigm called the Interactive Visual Dialog (IVD) as a means of facilitating a system's ability to recognize objects presented to it by a human. ...
126
click to vote
DAGSTUHL
2006
15 years 5 months ago
2006
It is widely believed that mathematics will be one of the major applications for Tablet PCs and other pen-based devices. In this paper we discuss many of the issues that make doin...
132
click to vote
ATAL
2009
Springer
15 years 11 months ago
2009
Springer
The ability to guarantee that a system will continue to operate correctly under degraded conditions is key to the success of adopting multi-agent systems (MAS) as a paradigm for d...
144
click to vote
CIDM
2007
IEEE
15 years 10 months ago
2007
IEEE
— Nowadays power distribution systems typically operate with nonsinusoidal voltages and currents. Harmonic currents from nonlinear loads propagate through the system and cause ha...