Sciweavers

535 search results - page 43 / 107
» A Case Study of Framework Design for Horizontal Reuse
Sort
View
ATAL
2009
Springer
14 years 2 months ago
Bounded practical social reasoning in the ESB framework
Reasoning about others, as performed by agents in order to coordinate their behaviours with those of others, commonly involves forming and updating beliefs about hidden system pro...
Iain Wallace, Michael Rovatsos
DANCE
2002
IEEE
14 years 19 days ago
Maude as a Wide-Spectrum Framework for Formal Modeling and Analysis of Active Networks
Modeling and formally analyzing active network systems and protocols is quite challenging, due to their highly dynamic nature and the need for new network models. We propose a wid...
José Meseguer, Peter Csaba Ölveczky, M...
ICASSP
2011
IEEE
12 years 11 months ago
RRED indices: Reduced reference entropic differencing framework for image quality assessment
We study the problem of automatic “reduced reference” image quality assessment algorithms from the point of view of image information change. Algorithms that measure differenc...
Rajiv Soundararajan, Alan C. Bovik
APSCC
2006
IEEE
13 years 11 months ago
A Model-Driven Aspect Framework for Grid Service Development
Service-Oriented Architecture (SOA) plays an important role in the next generation computing models for scientific and commercial applications. But difficulties in the development...
WenJun Li, ChuWei Huang, QiangChao Chen, Hui Bian
IWFM
2003
104views Formal Methods» more  IWFM 2003»
13 years 9 months ago
Stepwise Development of Peer-to-Peer Systems
Peer-to-peer systems like Napster, Gnutella and Kazaa have recently become popular for sharing information. In this paper, we show how to design peer-to-peer systems within the ac...
Lu Yan, Kaisa Sere