Sciweavers

1045 search results - page 85 / 209
» Remote Evaluation of Mobile Applications
Sort
View
ICALP
2005
Springer
14 years 3 months 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
14 years 3 months 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
ECOOPWEXCEPTION
2000
Springer
14 years 2 months ago
Portable Implementation of Continuation Operators in Imperative Languages by Exception Handling
Abstract. This paper describes a scheme of manipulating (partial) continuations in imperative languages such as Java and C++ in a portable manner, where the portability means that ...
Tatsurou Sekiguchi, Takahiro Sakamoto, Akinori Yon...
CADUI
2006
13 years 11 months ago
A Generic Approach For Multi-Device User Interface Rendering With Uiml
We present a rendering engine for displaying graphical user interfaces on multiple devices. The renderer interprets a standardized XML-based user interface description language: th...
Kris Luyten, Kristof Thys, Jo Vermeulen, Karin Con...
IPSN
2010
Springer
14 years 3 days ago
U-connect: a low-latency energy-efficient asynchronous neighbor discovery protocol
Mobile sensor nodes can be used for a wide variety of applications such as social networks and location tracking. An important requirement for all such applications is that the mo...
Arvind Kandhalu, Karthik Lakshmanan, Ragunathan Ra...