Sciweavers

933 search results - page 131 / 187
» Multi-paradigm Declarative Languages
Sort
View
COMPSAC
2010
IEEE
15 years 2 months ago
Synchronized Architecture Evolution in Software Product Line Using Bidirectional Transformation
In the long-term evolution of a Software Product Line (SPL), how to ensure the alignment between the reference and application architectures is a critical problem. Existing ad-hoc...
Liwei Shen, Xin Peng, Jiayi Zhu, Wenyun Zhao
SEMWEB
2010
Springer
15 years 1 months ago
OWL-POLAR: Semantic Policies for Agent Reasoning
Abstract. Policies are declarations of constraints on the behaviour of components within distributed systems, and are often used to capture norms within agent-based systems. A few ...
Murat Sensoy, Timothy J. Norman, Wamberto Weber Va...
CORR
2010
Springer
121views Education» more  CORR 2010»
15 years 1 months ago
A Framework for Constraint-Based Deployment and Autonomic Management of Distributed Applications
We propose a framework for deployment and subsequent autonomic management of component-based distributed applications. An initial deployment goal is specified using a declarative ...
Alan Dearle, Graham N. C. Kirby, Andrew McCarthy
FUIN
2010
116views more  FUIN 2010»
15 years 1 months ago
An Investigation of Multi-Agent Planning in CLP
This paper explores the use of Constraint Logic Programming (CLP) as a platform for experimenting with planning problems in the presence of multiple interacting agents. The paper ...
Agostino Dovier, Andrea Formisano, Enrico Pontelli
SIGMOD
2011
ACM
170views Database» more  SIGMOD 2011»
14 years 6 months ago
Warding off the dangers of data corruption with amulet
Occasional corruption of stored data is an unfortunate byproduct of the complexity of modern systems. Hardware errors, software bugs, and mistakes by human administrators can corr...
Nedyalko Borisov, Shivnath Babu, NagaPramod Mandag...