4048 search results - page 308 / 810 » Design Science, Engineering Science and Requirements Enginee... |
333
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...
178
click to vote
EUROSYS
2010
ACM
16 years 4 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...
187
click to vote
LICS
2009
IEEE
16 years 1 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 ...
159
click to vote
FSTTCS
2009
Springer
16 years 1 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...
181
click to vote
FSTTCS
2009
Springer
16 years 1 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...