Sciweavers

703 search results - page 77 / 141
» A general framework for multidimensional adaptation
Sort
View
WWW
2008
ACM
14 years 8 months ago
Towards robust trust establishment in web-based social networks with socialtrust
We propose the SocialTrust framework for tamper-resilient trust establishment in online social networks. Two of the salient features of SocialTrust are its dynamic revision of tru...
James Caverlee, Ling Liu, Steve Webb
FATES
2003
Springer
14 years 1 months ago
Automatic Conformance Testing of Internet Applications
Abstract. We adapt and extend the theories used in the general framework of automated software testing in such a way that they become suitable for black-box conformance testing of ...
Harm M. A. van Beek, Sjouke Mauw
AGENTS
1997
Springer
14 years 11 hour ago
Linearly Anticipatory Autonomous Agents
Abstract. A special kind of anticipation is when an anticipated undesired situation makes an agent adapt its behavior in order to prevent that this situation will occur. In this ch...
Paul Davidsson
SFP
2003
13 years 9 months ago
Testing Scheme programming assignments automatically
Abstract In distance learning the lack of direct communication between teachers and learners makes it difficult to provide direct assistance to students while they are solving the...
Manfred Widera
MSCS
2007
117views more  MSCS 2007»
13 years 7 months ago
Proofs, denotational semantics and observational equivalences in Multiplicative Linear Logic
We study full completeness and syntactical separability of MLL proof nets with the mix rule. The general method we use consists first in addressing the two questions in the less ...
Michele Pagani