- Subscribe to this page:
- RSS
- Email Alert
Schloss Dagstuhl
(41 results)-
White Papers
A Survey of Information-Centric Networking
February 7, 2011, 12:00am PST
The development of the Information-Centric Networking (ICN) concept is one of the significant results of different international Future Internet research activities. In this concept, the principal...
Provided by Schloss Dagstuhl
-
White Papers
Multi-Criteria Optimization in Answer Set Programming
June 21, 2011, 12:00am PDT
The authors elaborate upon new strategies and heuristics for solving multi-criteria optimization problems via Answer Set Programming (ASP). In particular, they conceive a new solving algorithm,...
Provided by Schloss Dagstuhl
-
White Papers
Evolution of Ontologies Using ASP
June 21, 2011, 12:00am PDT
RDF/S ontologies are often used in e-science to express domain knowledge regarding the respective field of investigation (e.g., cultural informatics, bioinformatics etc). Such ontologies need to...
Provided by Schloss Dagstuhl
-
White Papers
Static Type Checking for the Q Functional Language in Prolog
June 21, 2011, 12:00am PDT
The authors describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more...
Provided by Schloss Dagstuhl
-
White Papers
Compiling Prolog to Idiomatic Java
June 21, 2011, 12:00am PDT
Today, Prolog is often used to solve well-defined, domain-specific problems that are part of larger applications. In such cases, a tight integration of the Prolog program and the rest of the...
Provided by Schloss Dagstuhl
-
White Papers
Synthesis of Logic Programs From Object-Oriented Formal Specifications
June 22, 2011, 12:00am PDT
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach,...
Provided by Schloss Dagstuhl
-
White Papers
Smart Test Data Generators Via Logic Programming
June 22, 2011, 12:00am PDT
The authors present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programming languages...
Provided by Schloss Dagstuhl
-
White Papers
BAAC: A Prolog System for Action Description and Agents Coordination
June 22, 2011, 12:00am PDT
The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can...
Provided by Schloss Dagstuhl
-
White Papers
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
June 22, 2011, 12:00am PDT
The CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. The novelty of...
Provided by Schloss Dagstuhl
-
White Papers
Bayesian Annotation Networks for Complex Sequence Analysis
June 22, 2011, 12:00am PDT
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide,...
Provided by Schloss Dagstuhl
-
White Papers
Extensions of Answer Set Programming
June 27, 2011, 12:00am PDT
This paper describes a doctoral research in three areas: Hybrid ASP - an extension of Answer Set Programming for reasoning about dynamical systems, an extension of Set Constraint atoms for...
Provided by Schloss Dagstuhl
-
White Papers
A Semiring-Based Framework for Fair Resources Allocation
June 23, 2011, 12:00am PDT
In this paper a general framework (based on soft constraints) to model and solve the fair allocation problem is proposed. The authors' formal approach allows to model different allocation...
Provided by Schloss Dagstuhl
-
White Papers
Correct Reasoning About Logic Programs
June 27, 2011, 12:00am PDT
The focus of this paper lies on provably correct static analysis of logic programs, in particular on determinacy inference for logic programs containing cut, and on verified implementations...
Provided by Schloss Dagstuhl
-
White Papers
Implementation of Axiomatic Language
June 27, 2011, 12:00am PDT
This paper investigates a type of logic programming language called "Axiomatic language". Axiomatic language is intended as a specification language where the user defines the external behavior of...
Provided by Schloss Dagstuhl
-
White Papers
Two Phase Description Logic Reasoning for Efficient Information Retrieval
June 27, 2011, 12:00am PDT
Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are...
Provided by Schloss Dagstuhl
-
White Papers
Model Checking Time-Constrained Scenario-Based Specifications
October 26, 2010, 12:00am PDT
The authors consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, they use Message Sequence Charts (MSCs) annotated with timing...
Provided by Schloss Dagstuhl
-
White Papers
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
October 26, 2010, 12:00am PDT
The authors study (collapsible) higher-order pushdown systems - theoretically robust and well-studied models of higher-order programs - along with their natural subclass called (collapsible)...
Provided by Schloss Dagstuhl
-
White Papers
Two Size Measures for Timed Languages
October 26, 2010, 12:00am PDT
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to languages of timed...
Provided by Schloss Dagstuhl
-
White Papers
Model Checking Concurrent Programs With Nondeterminism and Randomization
December 9, 2010, 12:00am PST
The use of randomization in concurrent or distributed systems is often key to achieving certain objectives - it is used in distributed algorithms to break symmetry and in cryptographic protocols...
Provided by Schloss Dagstuhl
-
White Papers
Verifying Recursive Active Documents With Positive Data Tree Rewriting
October 26, 2010, 12:00am PDT
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. The authors focus on the automatic verification of properties of documents that may contain...
Provided by Schloss Dagstuhl
-
White Papers
The Scope of the IBGP Routing Anomaly Problem
February 24, 2011, 12:00am PST
Correctness problems in the iBGP routing, the de-facto standard to spread global routing information in Autonomous Systems, are a well-known issue. Configurations may route cost-suboptimal,...
Provided by Schloss Dagstuhl
-
White Papers
A Reputation-Based Approach to Self-Adaptive Service Selection
February 23, 2011, 12:00am PST
Service-orientation provides concepts and tools for flexible composition and management of large-scale distributed software applications. The automated run-time management of such loosely coupled...
Provided by Schloss Dagstuhl
-
White Papers
A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded Systems
February 23, 2011, 12:00am PST
The paradigm of service-orientation promises a significant ease of use in creating and managing distributed software systems. A very important aspect here is that also application domain experts...
Provided by Schloss Dagstuhl
-
White Papers
An Adaptive Protocol for Distributed Beamforming
February 23, 2011, 12:00am PST
The authors study distributed adaptive beamforming in networks of wireless nodes. In particular, they observe that for the synchronisation of carrier phases, distinct algorithmic configurations...
Provided by Schloss Dagstuhl
-
White Papers
Web Workload Generation According to the UniLoG Approach
February 23, 2011, 12:00am PST
Generating synthetic loads which are sufficiently close to reality represents an important and challenging task in performance and Quality-of-Service (QoS) evaluations of computer networks and...
Provided by Schloss Dagstuhl
-
White Papers
Improving Markov-Based TCP Traffic Classification
February 23, 2011, 12:00am PST
This paper presents an improved variant of the authors' Markov-based TCP traffic classifier and demonstrates its performance using traffic captured in a university network. Payload length, flow...
Provided by Schloss Dagstuhl
-
White Papers
TOGBAD-LQ - Using Challenge-Response to Detect Fake Link Qualities
February 23, 2011, 12:00am PST
The usage of link quality based routing metrics significantly improves the quality of the chosen paths and by that the performance of the network. But, attackers may try to exploit link qualities...
Provided by Schloss Dagstuhl
-
White Papers
IT Management Using a Heavyweight CIM Ontology
February 23, 2011, 12:00am PST
This paper presents an approach for ontology-based IT management based on a heavyweight (formal) ontology using the Web Ontology Language (OWL). The ontology comprises a complete OWL...
Provided by Schloss Dagstuhl
-
White Papers
Avoiding Publication and Privatization Problems on Software Transactional Memory
February 23, 2011, 12:00am PST
This paper presents a new approach to exclude problems arising from dynamically switching between protected concurrent and unprotected single-threaded use of shared data when using software...
Provided by Schloss Dagstuhl
-
White Papers
A Resilient and Energy-Saving Incentive System for Resource Sharing in MANETs
February 23, 2011, 12:00am PST
Despite of all progress in terms of computational power, communication bandwidth, and feature richness, limited battery capacity is the major bottleneck for using the resources of mobile devices...
Provided by Schloss Dagstuhl
-
White Papers
Supporting Cooperative Traffic Information Systems Through Street-Graph-Based Peer-to-Peer Networks
February 23, 2011, 12:00am PST
In this paper, the authors present a novel peer-to-peer system specifically designed to support the unique properties of traffic information systems. They discuss important design decisions, such...
Provided by Schloss Dagstuhl
-
White Papers
Distributed Probabilistic Network Traffic Measurements
February 23, 2011, 12:00am PST
Measuring the per-flow traffic in large networks is very challenging due to the high performance requirements on the one hand, and due to the necessity to merge locally recorded data from multiple...
Provided by Schloss Dagstuhl
-
White Papers
A Privacy-Preserving Social P2P Infrastructure for People-Centric Sensing
February 23, 2011, 12:00am PST
The rapid miniaturization and integration of sensor technologies into mobile Internet devices combined with Online Social Networks allows for enhanced sensor information querying, subscription,...
Provided by Schloss Dagstuhl
-
White Papers
Optimization-Based Secure Multi-Hop Localization in Wireless Ad Hoc Networks
February 23, 2011, 12:00am PST
The problem of localizing nodes without GPS based on a small fraction of anchor nodes which are aware of their positions is considered to be an important service for applications in wireless ad...
Provided by Schloss Dagstuhl
-
White Papers
Efficient Distributed Intrusion Detection Applying Multi Step Signatures
February 23, 2011, 12:00am PST
Intrusion Detection Systems (IDS) offer valuable measures to cope with today's attacks on computers and networks. But the increasing performance of networks and end systems and the growing...
Provided by Schloss Dagstuhl
-
White Papers
Node Degree Based Improved Hop Count Weighted Centroid Localization Algorithm
February 23, 2011, 12:00am PST
Hop-count based weighted centroid localization is a simple and straightforward localization algorithm, which uses anchors with known positions and the hop count to these anchors to estimate the...
Provided by Schloss Dagstuhl
-
White Papers
Browser as a Service (BaaS): Security and Performance Enhancements for the Rich Web
February 23, 2011, 12:00am PST
This paper introduces an architectural approach to access the Web via a virtual Web browser executed within a secure Cloud environment. The Web has become an indispensable prerequisite of everyday...
Provided by Schloss Dagstuhl
-
White Papers
Model Driven Development of Distributed Business Applications
February 23, 2011, 12:00am PST
The present paper presents a model driven generative approach to the design and implementation of distributed business applications, which consequently and systematically implements many years of...
Provided by Schloss Dagstuhl
-
White Papers
Anonymous Communication in the Digital World
February 24, 2011, 12:00am PST
Privacy on the Internet is becoming a concern as an already significant and ever growing part of the daily activities is carried out online. While cryptography can be used to protect the integrity...
Provided by Schloss Dagstuhl
-
White Papers
Optimized DTN-Routing for Urban Public Transport Systems
February 23, 2011, 12:00am PST
Communication is crucial to the coordination and efficient operation of public transport systems. However, deployment of infrastructure based communication systems is expensive, esp. due to...
Provided by Schloss Dagstuhl
-
White Papers
Does Proactive Secret Sharing Perform in Peer-to-Peer Systems?
February 24, 2011, 12:00am PST
Trustworthy applications in fully decentralized systems require a trust anchor. This paper describes how such an anchor can be implemented efficiently in p2p systems. The basic concept is to use...
Provided by Schloss Dagstuhl
-
White Papers
Optimized DTN-Routing for Urban Public Transport Systems
February 23, 2011, 12:00am PST
Communication is crucial to the coordination and efficient operation of public transport systems. However, deployment of infrastructure based communication systems is expensive, esp. due to...
Provided by Schloss Dagstuhl
-
White Papers
Anonymous Communication in the Digital World
February 24, 2011, 12:00am PST
Privacy on the Internet is becoming a concern as an already significant and ever growing part of the daily activities is carried out online. While cryptography can be used to protect the integrity...
Provided by Schloss Dagstuhl
-
White Papers
Model Driven Development of Distributed Business Applications
February 23, 2011, 12:00am PST
The present paper presents a model driven generative approach to the design and implementation of distributed business applications, which consequently and systematically implements many years of...
Provided by Schloss Dagstuhl
-
White Papers
Browser as a Service (BaaS): Security and Performance Enhancements for the Rich Web
February 23, 2011, 12:00am PST
This paper introduces an architectural approach to access the Web via a virtual Web browser executed within a secure Cloud environment. The Web has become an indispensable prerequisite of everyday...
Provided by Schloss Dagstuhl
-
White Papers
Node Degree Based Improved Hop Count Weighted Centroid Localization Algorithm
February 23, 2011, 12:00am PST
Hop-count based weighted centroid localization is a simple and straightforward localization algorithm, which uses anchors with known positions and the hop count to these anchors to estimate the...
Provided by Schloss Dagstuhl
-
White Papers
Efficient Distributed Intrusion Detection Applying Multi Step Signatures
February 23, 2011, 12:00am PST
Intrusion Detection Systems (IDS) offer valuable measures to cope with today's attacks on computers and networks. But the increasing performance of networks and end systems and the growing...
Provided by Schloss Dagstuhl
-
White Papers
Optimization-Based Secure Multi-Hop Localization in Wireless Ad Hoc Networks
February 23, 2011, 12:00am PST
The problem of localizing nodes without GPS based on a small fraction of anchor nodes which are aware of their positions is considered to be an important service for applications in wireless ad...
Provided by Schloss Dagstuhl
-
White Papers
A Privacy-Preserving Social P2P Infrastructure for People-Centric Sensing
February 23, 2011, 12:00am PST
The rapid miniaturization and integration of sensor technologies into mobile Internet devices combined with Online Social Networks allows for enhanced sensor information querying, subscription,...
Provided by Schloss Dagstuhl
-
White Papers
Distributed Probabilistic Network Traffic Measurements
February 23, 2011, 12:00am PST
Measuring the per-flow traffic in large networks is very challenging due to the high performance requirements on the one hand, and due to the necessity to merge locally recorded data from multiple...
Provided by Schloss Dagstuhl
-
White Papers
Supporting Cooperative Traffic Information Systems Through Street-Graph-Based Peer-to-Peer Networks
February 23, 2011, 12:00am PST
In this paper, the authors present a novel peer-to-peer system specifically designed to support the unique properties of traffic information systems. They discuss important design decisions, such...
Provided by Schloss Dagstuhl
-
White Papers
A Resilient and Energy-Saving Incentive System for Resource Sharing in MANETs
February 23, 2011, 12:00am PST
Despite of all progress in terms of computational power, communication bandwidth, and feature richness, limited battery capacity is the major bottleneck for using the resources of mobile devices...
Provided by Schloss Dagstuhl
-
White Papers
Avoiding Publication and Privatization Problems on Software Transactional Memory
February 23, 2011, 12:00am PST
This paper presents a new approach to exclude problems arising from dynamically switching between protected concurrent and unprotected single-threaded use of shared data when using software...
Provided by Schloss Dagstuhl
-
White Papers
IT Management Using a Heavyweight CIM Ontology
February 23, 2011, 12:00am PST
This paper presents an approach for ontology-based IT management based on a heavyweight (formal) ontology using the Web Ontology Language (OWL). The ontology comprises a complete OWL...
Provided by Schloss Dagstuhl
-
White Papers
TOGBAD-LQ - Using Challenge-Response to Detect Fake Link Qualities
February 23, 2011, 12:00am PST
The usage of link quality based routing metrics significantly improves the quality of the chosen paths and by that the performance of the network. But, attackers may try to exploit link qualities...
Provided by Schloss Dagstuhl
-
White Papers
Improving Markov-Based TCP Traffic Classification
February 23, 2011, 12:00am PST
This paper presents an improved variant of the authors' Markov-based TCP traffic classifier and demonstrates its performance using traffic captured in a university network. Payload length, flow...
Provided by Schloss Dagstuhl
-
White Papers
Web Workload Generation According to the UniLoG Approach
February 23, 2011, 12:00am PST
Generating synthetic loads which are sufficiently close to reality represents an important and challenging task in performance and Quality-of-Service (QoS) evaluations of computer networks and...
Provided by Schloss Dagstuhl
-
White Papers
An Adaptive Protocol for Distributed Beamforming
February 23, 2011, 12:00am PST
The authors study distributed adaptive beamforming in networks of wireless nodes. In particular, they observe that for the synchronisation of carrier phases, distinct algorithmic configurations...
Provided by Schloss Dagstuhl
-
White Papers
A Service-Oriented Operating System and an Application Development Infrastructure for Distributed Embedded Systems
February 23, 2011, 12:00am PST
The paradigm of service-orientation promises a significant ease of use in creating and managing distributed software systems. A very important aspect here is that also application domain experts...
Provided by Schloss Dagstuhl
-
White Papers
A Reputation-Based Approach to Self-Adaptive Service Selection
February 23, 2011, 12:00am PST
Service-orientation provides concepts and tools for flexible composition and management of large-scale distributed software applications. The automated run-time management of such loosely coupled...
Provided by Schloss Dagstuhl
-
White Papers
The Scope of the IBGP Routing Anomaly Problem
February 24, 2011, 12:00am PST
Correctness problems in the iBGP routing, the de-facto standard to spread global routing information in Autonomous Systems, are a well-known issue. Configurations may route cost-suboptimal,...
Provided by Schloss Dagstuhl
-
White Papers
Verifying Recursive Active Documents With Positive Data Tree Rewriting
October 26, 2010, 12:00am PDT
This paper considers a tree-rewriting framework for modeling documents evolving through service calls. The authors focus on the automatic verification of properties of documents that may contain...
Provided by Schloss Dagstuhl
-
White Papers
Model Checking Concurrent Programs With Nondeterminism and Randomization
December 9, 2010, 12:00am PST
The use of randomization in concurrent or distributed systems is often key to achieving certain objectives - it is used in distributed algorithms to break symmetry and in cryptographic protocols...
Provided by Schloss Dagstuhl
-
White Papers
Two Size Measures for Timed Languages
October 26, 2010, 12:00am PDT
Quantitative properties of timed regular languages, such as information content (growth rate, entropy) are explored. The approach suggested by the same authors is extended to languages of timed...
Provided by Schloss Dagstuhl
-
White Papers
The Complexity of Model Checking (Collapsible) Higher-Order Pushdown Systems
October 26, 2010, 12:00am PDT
The authors study (collapsible) higher-order pushdown systems - theoretically robust and well-studied models of higher-order programs - along with their natural subclass called (collapsible)...
Provided by Schloss Dagstuhl
-
White Papers
Model Checking Time-Constrained Scenario-Based Specifications
October 26, 2010, 12:00am PDT
The authors consider the problem of model checking message-passing systems with real-time requirements. As behavioural specifications, they use Message Sequence Charts (MSCs) annotated with timing...
Provided by Schloss Dagstuhl
-
White Papers
Two Phase Description Logic Reasoning for Efficient Information Retrieval
June 27, 2011, 12:00am PDT
Description Logics are used more and more frequently for knowledge representation, creating an increasing demand for efficient automated DL reasoning. However, the existing implementations are...
Provided by Schloss Dagstuhl
-
White Papers
Implementation of Axiomatic Language
June 27, 2011, 12:00am PDT
This paper investigates a type of logic programming language called "Axiomatic language". Axiomatic language is intended as a specification language where the user defines the external behavior of...
Provided by Schloss Dagstuhl
-
White Papers
Correct Reasoning About Logic Programs
June 27, 2011, 12:00am PDT
The focus of this paper lies on provably correct static analysis of logic programs, in particular on determinacy inference for logic programs containing cut, and on verified implementations...
Provided by Schloss Dagstuhl
-
White Papers
A Semiring-Based Framework for Fair Resources Allocation
June 23, 2011, 12:00am PDT
In this paper a general framework (based on soft constraints) to model and solve the fair allocation problem is proposed. The authors' formal approach allows to model different allocation...
Provided by Schloss Dagstuhl
-
White Papers
Extensions of Answer Set Programming
June 27, 2011, 12:00am PDT
This paper describes a doctoral research in three areas: Hybrid ASP - an extension of Answer Set Programming for reasoning about dynamical systems, an extension of Set Constraint atoms for...
Provided by Schloss Dagstuhl
-
White Papers
Bayesian Annotation Networks for Complex Sequence Analysis
June 22, 2011, 12:00am PDT
Probabilistic models that associate annotations to sequential data are widely used in computational biology and a range of other applications. Models integrating with logic programs provide,...
Provided by Schloss Dagstuhl
-
White Papers
CDAOStore: A Phylogenetic Repository Using Logic Programming and Web Services
June 22, 2011, 12:00am PDT
The CDAOStore is a portal aimed at facilitating the storage and retrieval of data and metadata associated to studies in the field of evolutionary biology and phylogenetic analysis. The novelty of...
Provided by Schloss Dagstuhl
-
White Papers
BAAC: A Prolog System for Action Description and Agents Coordination
June 22, 2011, 12:00am PDT
The paper presents a system for knowledge representation and coordination, where autonomous agents reason and act in a shared environment. Agents autonomously pursue individual goals, but can...
Provided by Schloss Dagstuhl
-
White Papers
Smart Test Data Generators Via Logic Programming
June 22, 2011, 12:00am PDT
The authors present a novel counterexample generator for the interactive theorem prover Isabelle based on a compiler that synthesizes test data generators for functional programming languages...
Provided by Schloss Dagstuhl
-
White Papers
Synthesis of Logic Programs From Object-Oriented Formal Specifications
June 22, 2011, 12:00am PDT
Early validation of requirements is crucial for the rigorous development of software. Without it, even the most formal of the methodologies will produce the wrong outcome. One successful approach,...
Provided by Schloss Dagstuhl
-
White Papers
Compiling Prolog to Idiomatic Java
June 21, 2011, 12:00am PDT
Today, Prolog is often used to solve well-defined, domain-specific problems that are part of larger applications. In such cases, a tight integration of the Prolog program and the rest of the...
Provided by Schloss Dagstuhl
-
White Papers
Static Type Checking for the Q Functional Language in Prolog
June 21, 2011, 12:00am PDT
The authors describe an application of Prolog: a type checking tool for the Q functional language. Q is a terse vector processing language, a descendant of APL, which is getting more and more...
Provided by Schloss Dagstuhl
-
White Papers
Evolution of Ontologies Using ASP
June 21, 2011, 12:00am PDT
RDF/S ontologies are often used in e-science to express domain knowledge regarding the respective field of investigation (e.g., cultural informatics, bioinformatics etc). Such ontologies need to...
Provided by Schloss Dagstuhl
-
White Papers
Multi-Criteria Optimization in Answer Set Programming
June 21, 2011, 12:00am PDT
The authors elaborate upon new strategies and heuristics for solving multi-criteria optimization problems via Answer Set Programming (ASP). In particular, they conceive a new solving algorithm,...
Provided by Schloss Dagstuhl
Keep Up with TechRepublic
Submit a Paper
Get your content listed in our directory!
Our directory is the largest library of vendor-supplied technical content on the Web. It’s also the first place IT decision makers turn to when researching technology solutions. Our members are already finding your competitors’ papers here - shouldn’t they find yours, too? It's FREE so click here and submit your white paper, case study, data sheet, research report, or other document today!
