Sciweavers

5615 search results - page 712 / 1123
» Active Learner Modelling
Sort
View
DBISP2P
2003
Springer
76views Database» more  DBISP2P 2003»
16 years 1 days ago
Trust-Aware Delivery of Composite Goods
Abstract. The vast majority of the interactions in typical online communities nowadays is between complete strangers. In such settings reputation reporting and trust management mod...
Magdalena Punceva, Karl Aberer
INFOCOM
2000
IEEE
15 years 11 months ago
Scalable TCP Congestion Control
— The packet losses imposed by IP networks can cause long and erratic recovery delays, since senders must often use conservative loss detection and retransmission mechanisms. Thi...
Robert Morris
SAC
2000
ACM
15 years 11 months ago
A Coordination Language for Collective Agent Based Systems: GroupLog
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
Fernanda Barbosa, José C. Cunha
ACSD
1998
IEEE
101views Hardware» more  ACSD 1998»
15 years 11 months ago
A True Concurrency Semantics for ET-LOTOS
One of the central objectives of the LOTOS restandardisation activity is to de ne an enhanced LOTOS language which supports real-time speci cation. The timed extension is based up...
Howard Bowman, Joost-Pieter Katoen
FTDCS
1997
IEEE
15 years 11 months ago
Analysing the behaviour of distributed software architectures: a case study
A Software Architecture is the overall structure of a system in terms of its constituent components and their interconnections. In this paper, we describe work to associate behavi...
Jeff Magee, Jeff Kramer, Dimitra Giannakopoulou