Sciweavers

1138 search results - page 106 / 228
» Talking about concerns
Sort
View
CCGRID
2006
IEEE
15 years 9 months ago
Evaluating Provenance-based Trust for Scientific Workflows
Provenance is the documentation concerning the origin of a result generated by a process, and provides explanations about who, how, what resources were used in a process, and the ...
Shrija Rajbhandari, Ian Wootten, Ali Shaikh Ali, O...
CCIA
2006
Springer
15 years 9 months ago
Extending the BDI architecture with commitments
Abstract. In this paper, we describe a novel agent architecture for normative multiagent systems which is based on multi-context systems. It models the three modalities of Rao and ...
Dorian Gaertner, Pablo Noriega, Carles Sierra
FMCO
2004
Springer
123views Formal Methods» more  FMCO 2004»
15 years 9 months ago
rCOS: Refinement of Component and Object Systems
Abstract. We present a model of object-oriented and component-based refinement. For object-orientation, the model is class-based and refinement is about correct changes in the stru...
Zhiming Liu, Jifeng He, Xiaoshan Li
ERCIMDL
2006
Springer
173views Education» more  ERCIMDL 2006»
15 years 9 months ago
Evaluation of Relevance and Knowledge Augmentation in Discussion Search
Annotation-based discussions are an important concept for today's digital libraries and those of the future, containing additional information to and about the content managed...
Ingo Frommholz, Norbert Fuhr
EDO
2000
Springer
15 years 9 months ago
Architectural Reflection: Realising Software Architectures via Reflective Activities
Architectural reflection is the computation performed by a software system about its own software architecture. Building on previous research and on practical experience in industr...
Francesco Tisato, Andrea Savigni, Walter Cazzola, ...