Sciweavers

2930 search results - page 438 / 586
» A Constructive Approach to the Design of Distributed Systems
Sort
View
WWW
2006
ACM
16 years 7 months ago
Determining user interests about museum collections
Currently, there is an increasing effort to provide various personalized services on museum web sites. This paper presents an approach for determining user interests in a museum c...
Lloyd Rutledge, Lora Aroyo, Natalia Stash
CDC
2008
IEEE
126views Control Systems» more  CDC 2008»
16 years 28 days ago
Open and emerging control problems in tokamak plasma control
— The tokamak concept for magnetic confinement of fusion plasmas is now quite mature scientifically. This maturity is evidenced by the ongoing worldwide effort to design and cons...
M. L. Walker, Eugenio Schuster, Didier Mazon, Didi...
FASE
2005
Springer
15 years 12 months ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
WELCOM
2001
Springer
132views ECommerce» more  WELCOM 2001»
15 years 11 months ago
Incentives for Sharing in Peer-to-Peer Networks
The recent and unprecedented surge of public interest in peer-to-peer file sharing has led to a variety of interesting research questions. In this paper, we will address the ince...
Philippe Golle, Kevin Leyton-Brown, Ilya Mironov, ...
EDBTW
2010
Springer
15 years 9 months ago
Flexible Dataspace Management Through Model Management
The vision of dataspaces has been articulated as providing various of the benefits of classical data integration but with reduced up-front costs, which, combined with opportunitie...
Cornelia Hedeler, Khalid Belhajjame, Lu Mao, Norma...