Sciweavers

7189 search results - page 105 / 1438
» Connecting Design with Code
Sort
View
CORR
2010
Springer
102views Education» more  CORR 2010»
15 years 2 months ago
From RESTful Services to RDF: Connecting the Web and the Semantic Web
RESTful services on the Web expose information through retrievable resource representations that represent self-describing descriptions of resources, and through the way how these...
Rosa Alarcón, Erik Wilde
IPL
2008
102views more  IPL 2008»
15 years 2 months ago
The connection between two ways of reasoning about partial functions
Undefined terms involving the application of partial functions and operators are common in program specifications and in discharging proof obligations that arise in design. One wa...
John S. Fitzgerald, Cliff B. Jones
118
Voted
DPD
2002
100views more  DPD 2002»
15 years 2 months ago
Light-Weight Currency Management Mechanisms in Mobile and Weakly-Connected Environments
This paper discusses the currency management mechanisms used in Deno, a replicated object storage system designed for use in mobile and weakly-connected environments. Deno primari...
Ugur Çetintemel, Peter J. Keleher
IRES
2000
71views more  IRES 2000»
15 years 2 months ago
Library Research Seminar II Partners and connections
Although libraries are public spaces in which individuals engage in a range of social and informational activities, few researchers in library and information science use ethnogra...
105
Voted
SAGT
2009
Springer
140views Game Theory» more  SAGT 2009»
15 years 9 months ago
Price of Stability in Survivable Network Design
We study the survivable version of the game theoretic network formation model known as the Connection Game, originally introduced in [5]. In this model, players attempt to connect ...
Elliot Anshelevich, Bugra Caskurlu