429 search results - page 74 / 86 » An Adaptation-based Approach to Incrementally Build Componen... |
SIGADA
2005
Springer
14 years 1 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
SEMWEB
2004
Springer
14 years 29 days ago
2004
Springer
The Semantic Web is bound to be untrustworthy and inconsistent. In this paper, we present an initial approach for obtaining useful information in such an environment. In particular...
P2P
2009
IEEE
14 years 2 months ago
2009
IEEE
Peer-to-peer content dissemination applications suffer immensely from freeriders, i.e., nodes that do not provide their fair share. The Tit-for-Tat (TfT) incentives have received ...
AINA
2007
IEEE
14 years 2 months ago
2007
IEEE
Link analysis is a critical component of current Internet search engines' results ranking software, which determines the ordering of query results returned to the user. The o...
AP2PC
2003
Springer
14 years 26 days ago
2003
Springer
The wide availability of mobile devices equipped with wireless communication capabilities together with the technical possibility to form adhoc networks paves the way for building ...