4048 search results - page 308 / 810 » Design Science, Engineering Science and Requirements Enginee... |
256
click to vote
Book
The book covers the following topics: examining the structure of HTTP requests, monitoring the packets being transferred between a web server and web browser, executing simple HTTP...
134
click to vote
EUROSYS
2010
ACM
16 years 2 months ago
2010
ACM
We propose a mechanism that allows applications to survive operating system kernel crashes and continue functioning with no application data loss after a system reboot. This mecha...
137
Voted
LICS
2009
IEEE
15 years 11 months ago
2009
IEEE
We provide in this article two characterisation results, describing exactly which terms verify the dinaturality diagram, in Church-style system F and in Curry-style system F. The ...
121
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We suggest that extending Muller games with preference ordering for players is a natural way to reason about unbounded duration games. In this context, we look at the standard solu...
140
click to vote
FSTTCS
2009
Springer
15 years 11 months ago
2009
Springer
We clarify the role of Kolmogorov complexity in the area of randomness extraction. We show that a computable function is an almost randomness extractor if and only if it is a Kolm...