This paper describes Paradis-Net, a typed event-driven message-passing interface for designing distributed systems. Paradis-Net facilitates the development of both peer-to-peer and client-server architectures through ...
详细信息
Assessing numerous models from students in written exams or homework is an exhausting *** present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain ...
详细信息
ISBN:
(纸本)9783642016479
Assessing numerous models from students in written exams or homework is an exhausting *** present an approach for a fair and transparent assessment of the completeness of models according to a natural language domain description. The assessment is based on checklists generated by the tool Sumo. Sumo directly works on an annotated version of the original exam text, so no 'gold standard' is needed.
Formal semantics of programming languages needs to model the potentially infinite state transition behavior of programs as well as the computation of their final results simultaneously. This requirement is essential i...
详细信息
Non-functional properties of software should be specified early in the development process. In a distributed process of software development, this means that quality requirements must be made explicit in the specifica...
详细信息
Impact assessment (IA) is a key method for the legislator to evaluate policies, norms or regulations currently under development. Experts use IA to gather and analyze input from many individuals to obtain clear proble...
详细信息
Social network analysis (SNA) has attracted a lot of attention over the past years. Existing tools for SNA do not allow a user-centric analysis of the social neighborhood, i.e., the subgraph of the user's friends ...
详细信息
The integration of renewable energy resources is challenging the traditional electricity network. To manage this, the smart grid has been defined as a cyber-physical system consisting of a physical component, which is...
详细信息
The integration of renewable energy resources is challenging the traditional electricity network. To manage this, the smart grid has been defined as a cyber-physical system consisting of a physical component, which is the electricity grid, and a computational component consisting of a communication network, metering network, and software components. Therefore, the smart grid can not just be seen as an electrical grid, but also as a system of software systems. Currently, control centers of the smart grid use an outage management software system to react to reported outages. In this paper, we present an extended outage management system that solves one main problem of the smart grid: software systems of the different domains are using different standards. Consequently, cross-domain data exchange and analysis are difficult. Therefore, we use the model-driven view-based VITRUVIUS approach to build a unified model of the smart grid. We then combine it with system stability analysis methods presented as views on the model. The result is a model-driven run-Time monitoring, analysis and control framework to increase the reliability of power supply. The evaluation with statistical data of the German power grid shows that outage time can be reduced with our approach.
Only imperfect data is available in many decision situations, which therefore plays a key role in the decision theory of economic science. It is also of key interest in computer science, among others when integrating ...
详细信息
The Ephyra QA system has been developed as a flexible open-domain QA framework. This framework allows us to combine several techniques for question analysis and answer extraction and to incorporate multiple knowledge ...
The Ephyra QA system has been developed as a flexible open-domain QA framework. This framework allows us to combine several techniques for question analysis and answer extraction and to incorporate multiple knowledge bases to best fit the requirements of the TREC QA track, in which we participated this year for the first time. The techniques used include pattern learning and matching, answer type analysis and redundancy elimination through filters. In this paper, we give an overview of the Ephyra system as used within TREC 2006 and analyze the system's performance in the QA track.
暂无评论