This RFC comments on recent proposals to extend TCP. It argues that the backward compatible extensions proposed in RFC’s 1072 and 1185 should not be pursued, and proposes an alternative way to evolve the Internet protocol suite. Its purpose is to stimulate discussion in the Internet community.

Reynolds’ view of a storage cell as an expression-acceptor pair has been widely used by researchers. We present a different way of organizing semantics of state, and in particular game semantics, by adding to typing contexts a zone for global state. This has the following advantages. Firstly, it causes the “good variable” equations for references to be validated, and also the noninterference eq...

In this talk, I will give an overview of the various formal verification projects around the evolving seL4 microkernel, and discuss our experience in large-scale proof engineering and maintenance. In particular, the presentation will draw a picture of what these verifications mean and how they fit together into a whole. Among these are a number of firsts: the first code-level functional correct...

Many scholars associate the 19th-century practice of moral treatment with occupational therapy practice. A more thorough understanding of moral treatment is therefore relevant for occupational therapists. This article considers moral treatment within the contexts that shaped both its characteristics and the course of its practice--the medical community and 19th-century society. This considerati...

Context: There is growing interest in establishing software engineering as an evidence-based discipline. To that end, replication is often used to gain confidence in empirical findings, as opposed to reproduction where the goal is showing the correctness, or validity of the published results. Objective: To consider what is required for a replication study to confirm the original experiment and ...

In recent years a lot of new C-based design languages have been developed. They all promise a smoother transition from a high level to a low level description of a hardware system. A disadvantage of these new languages is that a lot of simulation models of e.g. FPGA-cores are only available in standard languages like VHDL or Verilog. This makes it hard to develop a complete system with one of t...

The development of the lookaside buffer has simulated wide-area networks, and current trends suggest that the simulation of congestion control will soon emerge. In this paper, we validate the evaluation of the World Wide Web. RidingSoken, our new methodology for the visualization of 2 bit architectures, is the solution to all of these issues.

In two studies the role of biomedical knowledge in the diagnosis of clinical cases was explored. Experiment 1 demonstrated a decrease in the use of biomedical knowledge with increasing expertise. This result appeared to be at variance with some findings reported in the literature (e.g., Lesgold. 1934). but supported those of others (e.g., Patel, Evans, & Groen, 1989). In Experiment 2, three pos...

http://gpi.sagepub.com/content/10/3/373 The online version of this article can be found at: DOI: 10.1177/1368430207078697 2007 10: 373 Group Processes Intergroup Relations Peter Fischer, Tobias Greitemeyer and Andreas Kastenmüller Aggression Potential, and Attitudes Toward Terrorism About the Associations Between Muslims' Religiosity, Religious Identity, What Do We Think About Muslims? The Vali...

This paper was prepared for publication after the death of the author by T. Lewis, M.Sc. Professor R. A. Milne, F.R.S., has also seen the manuscript and makes the following observation: “ This paper should be published not only as an act of piety in Schott’s memory, but because it is done with intense care and skill and is throughout critical. Quantum physicists of the type who write the fashio...