Sciweavers

813 search results - page 65 / 163
» On the interaction between sharing and linearity
Sort
View
CANDC
2005
ACM
15 years 1 months ago
Sponge: a case study in practice-based collaborative art research
In this paper, we describe the origins, thematics, projects and practices of the art research collective Sponge. In particular, we focus on Sponge as a useful case study in transd...
Christopher L. Salter, Sha Xin Wei
FM
2009
Springer
154views Formal Methods» more  FM 2009»
14 years 9 months ago
Specification and Verification of Web Applications in Rewriting Logic
Abstract. This paper presents a Rewriting Logic framework that formalizes the interactions between Web servers and Web browsers through icating protocol abstracting HTTP. The propo...
María Alpuente, Demis Ballis, Daniel Romero
ECAL
2005
Springer
15 years 4 months ago
How Niche Construction Can Guide Coevolution
Niche construction is the process whereby organisms, through their metabolism, activities, and choices, modify their own and/or each other’s niches. Our purpose is to clarify the...
Reiji Suzuki, Takaya Arita
SI3D
1995
ACM
15 years 2 months ago
RING: A Client-Server System for Multi-User Virtual Environments
This paper describes the client-server design, implementation and experimental results for a system that supports real-time visual interaction between a large number of users in a...
Thomas A. Funkhouser
68
Voted
SIGMOD
2010
ACM
151views Database» more  SIGMOD 2010»
14 years 11 months ago
Exploring schema similarity at multiple resolutions
Large, dynamic, and ad-hoc organizations must frequently initiate data integration and sharing efforts with insufficient awareness of how organizational data sources are related. ...
Ken Smith, Craig Bonaceto, Chris Wolf, Beth Yost, ...