Sciweavers

6662 search results - page 414 / 1333
» Mobile and Ubiquitous Computing
Sort
View
WCNC
2008
IEEE
16 years 1 months ago
Computing TCP Throughput in a UMTS Network
— We compute the throughput obtained by a TCP connection in a UMTS environment. For downloading data at a mobile terminal, the packets of each TCP connection are stored in separa...
Kunde Anand, Vinod Sharma
WMTE
2005
IEEE
16 years 14 days ago
Quilt Snaps: A Fabric Based Computational Construction Kit
In this paper we present Quilt Snaps, a fabric based construction kit consisting of a set of computationally enhanced quilting pieces. Our discussion focuses on three ways that ch...
Leah Buechley, Nwanua Elumeze, Camille Dodson, Mic...
FMCO
2005
Springer
101views Formal Methods» more  FMCO 2005»
16 years 13 days ago
Synchronised Hyperedge Replacement as a Model for Service Oriented Computing
Abstract. This tutorial paper describes a framework for modelling several aspects of distributed computing based on Synchronised Hyperedge Replacement (SHR), a graph rewriting form...
Gian Luigi Ferrari, Dan Hirsch, Ivan Lanese, Ugo M...
ICALP
2005
Springer
16 years 12 days ago
Basic Observables for a Calculus for Global Computing
We introduce a foundational language for modelling applications over global computers whose interconnection structure can be explicitly manipulated. Together with process distribut...
Rocco De Nicola, Daniele Gorla, Rosario Pugliese
NSPW
2004
ACM
16 years 9 days ago
Symmetric behavior-based trust: a new paradigm for internet computing
Current models of Internet Computing are highly asymmetric – a host protects itself from malicious mobile Java programs, but there is no way to get assurances about the behavior...
Vivek Haldar, Michael Franz