Abstract. Peer-to-peer (P2P) file sharing systems have become ubiquitous and at present the BitTorrent (BT) based P2P systems are very popular and successful. It has been argued t...
Stimulus selectivity of sensory neurons is often characterized by estimating their receptive field properties such as orientation selectivity. Receptive fields are usually deriv...
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Abstract: Die im folgenden vorgestellte Diplomarbeit legt den theoretischen Rahmen f¨ur die verteilte Paarprogrammierung als Weiterentwicklung der klassischen Paarprogrammierung u...
Riad Djemili, Christopher Oezbek, Stephan Salinger
: Developing and maintaining large software systems can require the usage of a variety of different automatic test tools. The complexity of the tools leads to considerable overhead...