Because of the diverse nature of software systems, it is unlikely that systems will be developed using a purely service or component programming paradigms. Therefore, the ability to combine the strength of various pro...
详细信息
Researchers in the field of Mining Software Repositories perform studies about the evolution of software projects. To this end, they use the version control system storing the changes made to a single software project...
详细信息
ISBN:
(纸本)9781479919345
Researchers in the field of Mining Software Repositories perform studies about the evolution of software projects. To this end, they use the version control system storing the changes made to a single software project. Such studies are concerned with the source code characteristics in one particular revision, the commit data for that revision, how the code evolves over time and what concrete, fine-grained changes were applied to the source code between two revisions. Although tools exist to analyse an individual concern, scripts and manual work is required to combine these tools to perform a single experiment. We present a general-purpose history querying tool named QWALKEKO that enables expressing these concerns in a single uniform language, and having them detected in a git repository. We have validated our work by means of replication studies as well as through MSR studies of our own.
The LADY programming environment has been developed to support the design, implementation, testing, debugging and monitoring of distributed systems with special focus on operating systems. This paper describes the str...
详细信息
The domain of language resources is fragmented in many dimensions. Institutional fragmentation is currently being addressed by Grid projects, which will allow access to resources across institutional boundaries. While...
详细信息
Traditional arguments concerning the comprehensi-bility of functional programs have been illustrated with trivial examples. In this paper, we present the real-life example of a large system for natural language proces...
详细信息
The proceedings contain 27 papers. The special focus in this conference is on Theories and Agent Capabilities. The topics include: The rights of agents;formalising motivational attitudes of agents;decision procedures ...
ISBN:
(纸本)3540608052
The proceedings contain 27 papers. The special focus in this conference is on Theories and Agent Capabilities. The topics include: The rights of agents;formalising motivational attitudes of agents;decision procedures for propositional linear-time belief-desire-intention logics;semantical considerations on some primitives for agent specification;reasoning about acting, sensing, and failure handling;time, knowledge, and choice;learning routines;conflict detection and resolution in collaborative planning;a procedural approach;on reasoning about other agents;architectures for agents that track other agents in multi-agent worlds;using recursive agent models effectively;experiences with an architecture for intelligent, reactive agents;a pragmatic BDI architecture;an implementation of motivated agency;the architecture of an agent building shell;a general purpose multiagent architecture;cognition based multi-agent architecture;some issues in the design of market-oriented agents;cooperating logical agents;open reflective agents;foundations of a logical approach to agent programming;evaluation of KQML as an agent communication language;consistency and context management in a multi-agent belief revision testbed;a markovian model for interaction among behavior-based agents and agent theories, architectures, andlanguages.
PEPSys (Parallel ECRC Prolog System) is a research project started in 1984 in the computerarchitecture Group of the European computer-Industry Research Centre (ECRC). Its general goals are to study and evaluate new a...
详细信息
The work of subproject F on FP2 as a language for functional and parallel programming as well as on LCM as a parallel inference system has led to remarkable results;with FP2 a development tool for parallel systems is ...
详细信息
Most distributed systems consist of a number of sequential processes running in parallel. We present a language-independent debugging framework for the debugging of these distributed systems. Over the years, a lot of ...
详细信息
We argue that some standard tools from model theory provide a better semantic foundation than the more syntactic and operational approaches usually used in logic programming. In particular, we show how initial models ...
详细信息
暂无评论