Sciweavers

3937 search results - page 275 / 788
» Questioning Ubiquitous Computing
Sort
View
CHI
2005
ACM
16 years 5 months ago
Beyond threaded conversation
Describes a design for a graphical landscape approach to creating a living archive for online conversation; discusses the questions this work addresses and the design approach tak...
Paul Resnick, John Riedl, Loren G. Terveen, Mark A...
FOSSACS
2009
Springer
15 years 11 months ago
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets
Abstract. We extend discrete-timed Petri nets with a cost model that assigns token storage costs to places and firing costs to transitions, and study the minimal cost reachability...
Parosh Aziz Abdulla, Richard Mayr
SKG
2006
IEEE
15 years 10 months ago
The Theory Grid and Grid Theorists
This paper proposes a novel research direction: to build the Theory Grid as cooperatively shared formal theories within a virtual organization, and then to implement Grid Theorist...
Jingde Cheng, Shinsuke Nara, Takahiro Koh, Yuichi ...
GI
2004
Springer
15 years 10 months ago
Methodology for Estimating Network Distances of Gnutella Neighbors
Abstract: In this paper we ask the question how much does the neighborhood selection process of a P2P protocol such as Gnutella respect the underlying Internet topology.
Vinay Aggarwal, Stefan Bender, Anja Feldmann, Arne...
FOCS
2002
IEEE
15 years 9 months ago
Market Equilibrium via a Primal-Dual-Type Algorithm
We provide the first polynomial time algorithm for the linear version of a market equilibrium model defined by Irving Fisher in 1891, thereby partially answering an open questio...
Nikhil R. Devanur, Christos H. Papadimitriou, Amin...