Sciweavers

1615 search results - page 68 / 323
» What's new
Sort
View
WIRI
2005
IEEE
14 years 3 months ago
A Lightweight Approach to Semantic Web Service Synthesis
Web service technologies are becoming a new paradigm for distributed computing. With increasing number of web services available on the internet, there is an urgent need for infor...
Jianguo Lu, Yijun Yu, John Mylopoulos
ECMDAFA
2005
Springer
87views Hardware» more  ECMDAFA 2005»
14 years 3 months ago
On Relationships Between Query Models
Queries on software artifacts play an important role in novel software development approaches, such as Aspect-Oriented Software Development and OMG's Model Driven Architecture...
Dominik Stein, Stefan Hanenberg, Rainer Unland
NIME
2005
Springer
128views Music» more  NIME 2005»
14 years 3 months ago
Multi-user Instruments: Models, Examples and Promises
In this paper we study the potential and the challenges posed by multi-user instruments, as tools that can facilitate interaction and responsiveness not only between performers an...
Sergi Jordà
KR
2010
Springer
14 years 2 months ago
Taxonomy of Improvement Operators and the Problem of Minimal Change
Improvement operators is a family of belief change operators that is a generalization of usual iterated belief revision operators. The idea is to relax the success property, so th...
Sébastien Konieczny, Mattia Medina Grespan,...
EPIA
2001
Springer
14 years 2 months ago
Permissive Belief Revision
Abstract. We propose a new operation of belief revision, called permissive belief revision. The underlying idea of permissive belief revision is to replace the beliefs that are aba...
Maria R. Cravo, João P. Cachopo, Ana C. Cac...