TGC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this survey paper we consider the class of protocols for informationhiding which use randomization to obfuscate the link between the observables and the information to...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Ghost variables are assignable variables that appear in program annotations but do not correspond to physical entities. They are used to facilitate specification and ver...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
Several models based on process calculi have addressed the definition of linguistic primitives for handling long running transactions and Service Level Agreement (SLA) in service ...
TGC
2007
Springer
14 years 3 months ago
2007
Springer
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
This paper addresses two problems: “What are the appropriate methods for evaluating information systems?” and “How do we measure the impact of ambient information systems?...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
With the advance of pervasive technology, information from both the physical and virtual world is increasingly accessible to developers. Context -aware applications may consume re...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
Mobile devices make ideal personal ambient information systems given their ubiquitous adoption by users and their rich context knowledge of users’ activity. However, we believe ...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
We take two paradigms for information systems development, functionalism and social relativism, and apply their assumptions to the evaluation of ambient information systems. Ambie...
PERVASIVE
2007
Springer
14 years 3 months ago
2007
Springer
We propose a set of design dimensions that constitute the axes of a taxonomy for ambient information systems. The dimensions are based on an investigation of a wide range of resea...