The Internet design is vulnerable to numerous attacks, including source address spoofing, denial of service flooding, prefix hijacking, and route forgery attacks. Despite much research, this situation does not seem to improve: prefix hijacking or denial of service attacks continue to make headline news [10, 25]. This disheartening fact has prompted researchers to propose a radically different I...

Scientifically sound network studies require the execution of large series of experiments. Researchers usually have to execute experiments manually, a labor-intensive and error-prone task, since there is no automation of the overall experimentation process. This task becomes especially hard on a distributed testbed and the researcher has to deal with additional challenges. In this paper we intr...

and "the simplest and one of the most important innovations", the stethoscope, first described in 1816. Ernest Board's picture of Laennec Listening to the Chest of a Patient shows the physician using a simple wooden tube to auscultate the chest of a man showing probable phthisis and a detail is also used on the dust cover of the book. A number of plates are devoted to hospitals and teaching. Re...

Executable code existed centuries before the invention of the computer in magic, Kabbalah, musical composition and experimental poetry. These practices are often neglected as a historical pretext of contemporary software culture and electronic arts. Above all, they link computations to a vast speculative imagination that encompasses art, language, technology, philosophy and religion. These spec...

We deene general concepts that extend, and simplify, the network calculus developed by Cruz 1, 2, 3] for guaranteed quality of service networks. We introduce a deenition of service curve, the extended service curve, which is the same for isolated queues and for networks of queues, and makes it possible to model nodes that otherwise do not t in the calculus of Cruz. We introduce two key technica...

The Church–Rosser theorem states that the λ-calculus is confluent under αand β-reductions. The standard proof of this result is due to Tait and Martin-Löf. In this note, we present an alternative proof based on the notion of acceptable orderings. The technique is easily modified to give confluence of the βη-calculus.

The business and accounting aspects of General Practice are integral to daily practice. In addition, recently there have been radical changes in the world of General Practice (GP). While formal post graduate GP training in the UK is thorough and practice accounts are included in the MRCGP syllabus, many GP registrars struggle with the subject and there is obviously less emphasis on this than th...

Renal fibrosis is the final common pathway of several nephropathies including chronic allograft failure. Most chronic renal diseases result in tissue fibrosis, and this is independent of their initial cause. Tissue fibrosis is an accumulation of extracellular matrix, and in animal models of renal fibrosis, mRNA levels for profibrogenic cytokines such as transforming growth factor (TGF ) and ext...

In this paper, we study adaptive evaluation techniques for querying XMLbased electronic catalogs, and show, by means of experiments performed on real-world catalogs, that our approach can be used to integrate them with virtually zero effort at start-up time, and a small constant factor needed to perform the adaptive evaluation for all subsequent queries. We reach the conclusion that, from a str...

Teaching software development process is an important component of computer science and engineering education. In practice, processes are used by software development teams to coordinate activities and combine skills[12]. As in social behavior studies, human behaviors in teams are conceptualized as activities, interactions, and sentiments[10]. Software development processes can be both consider...