Learn More
In this paper we introduce a new approach, the so-called AgentComponent (AC) approach which combines component and agent technology. A multi agent system (MAS) is composed of AC instances, each AC instance consists of a knowledge base, storing the beliefs of an AC instance, of slots, storing the communication partners of an AC instance , of a set of(More)
Conversion of cellular prion protein (PrP(C)) into a pathological conformer (PrP(Sc)) is thought to be promoted by PrP(Sc) in a poorly understood process. Here, we report that in wild-type mice, the expression of PrP(C) rendered soluble and dimeric by fusion to immunoglobulin Fcgamma (PrP-Fc(2)) delays PrP(Sc) accumulation, agent replication, and onset of(More)
I declare that I have developed and written the enclosed Study Thesis completely by myself, and have not used sources or means without declaration in the text. Abstract In today's software engineering landscape, performance and scalability properties of systems are of crucial importance to ensure that quality-of-service requirements are satisfied. Changing(More)
—Performance predictions early in the software development process can help to detect problems before resources have been spent on implementation. The Palladio Component Model (PCM) is an example of a mature domain-specific model-ing language for component-based systems enabling performance predictions at design time. PCM provides several alternative model(More)
The aim of the MMiSS project is the construction of a multi-media Internet-based adaptive educational system. Its content will initially cover a curriculum in the area of Safe and Secure Systems. Traditional teaching materials (slides, handouts, annotated course material, assignments, and so on) are to be converted into a new hypermedia format, integrated(More)
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present our tool QPME (Queueing Petri net(More)
—During the last decade, researchers have proposed a number of model transformations enabling performance predictions. These transformations map performance-annotated software architecture models into stochastic models solved by means of analytical or numerical analysis or by system simulation. However, so far, a detailed quantitative evaluation of the(More)
During the last years graphical tools have been developed for simplyfying the construction of MAS. Most of the existing tools [3,2,13] have the following abstract development process. First, agents are visually designed using a sort of metadata, then the agent code is generated using the designed metadata and finally the agents are deployed on a platform.(More)
Extracellular recordings are a key tool to record the activity of neurons in vivo. Especially in the case of experiments with behaving animals, however, the tedious procedure of electrode placement can take a considerable amount of expensive and restricted experimental time. Furthermore, due to tissue drifts and other sources of variability in the recording(More)
Queueing Petri nets are a powerful formalism that can be exploited for modeling distributed systems and analyzing their performance and scalability. By combining the modeling power and expressiveness of queueing networks and stochastic Petri nets, queueing Petri nets provide a number of advantages. In this paper, we present Version 2.0 of our tool QPME(More)