Programs change often, and it is important to bring those changes to users as conveniently as possible. The two most common ways to deliver changes are to send a whole new program or to send “patches” that encode the differences between the two versions, requiring much less space. In this paper, we address computation of patches for executables of programs. Our techniques take into account the ...

Remote internet voting incorporates many of the core challenges of trusted global computing. In this paper, we present the Kiezen op Afstand (KOA) system. KOA is a Free Software, remote voting system developed for the Dutch government in 2003/2004. In addition to being Open Source, it is also partially formally specified and verified. This paper summarises the work carried out to date on the KO...

Darcs is a distributed version control system based on a unique algebra of patches called Patch Theory. Patch Theory was originally described informally by David Roundy and the formalisation of Darcs basis continue to be an unresolved topic nowadays, which keeps open the question of Darcs reliability since it may fail in some corner cases. In this work, I follow a different approach, instead of...

The preservative methyldibromo glutaronitrilc (MDBGN) is used non-occupationally and occupationally. High contact allergy rates have been reported when tested in consecutive dermatitis patients as well as clinical cases with allergic contact dermatitis. Up till now there has been no agreement on which patch test preparation to use to trace contact allergy to MDBGN. From the year 2005 on, MDBGN ...

In recent years, the application of radio frequency identification (RFID) operating in the ultra-high frequency (UHF) band (860-960MHz) are expanding exponentially, due to the advantages such as long reading distance, high data transfer rate, and small tag size. So the design of a CP tag antenna with broadband characteristic is presently one of the most challenging topics. This project presents...

This paper presents the design of a fully packaged 60 GHz wideband patch antenna incorporating an air cavity and a fused silica superstrate. Circular polarization (CP) is realized by introducing a diagonal slot at the center of the square patch. By optimizing the patch and the slot dimensions, a high efficiency (>90%) microstrip fed CP antenna with an impedance bandwidth of 24% and a 6 dB axial...

A band pass filter with tilted ladder shaped patch and U-shaped geometries is proposed in this paper. Feed are connected at the end of open ended stubs. Presented filter is suitable for the application of wireless application in L-band range. A flat passband response can be achieved when it is employed to implement a bandpass filter. The resonator also exhibits attenuation poles close to the ed...

Transfinite surface interpolation is a classic topic of computer-aided geometric design (CAGD), and many non-quadrilateral schemes are known. Surfaces defined solely by means of their boundary curves and cross-tangent functions are needed, for example, in three-dimensional curve network-based design, and to fill complex irregular holes such as in vertex blending. This paper deals with interpola...

Open Sound World (OSW) is a scalable, extensible objectoriented language that allows sound designers and musicians to process sound in response to expressive real-time control. OSW allows users to develop at different levels, including visual patching, XML editing, scripting and high-level C++. Components called transforms are combined to form programs called patches. The set of included transf...