1115 search results - page 13 / 223 » An Abstract Look at Realizability |
PERSUASIVE
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. In this paper, we further develop the idea of combining pervasive computing techniques with electronic payment systems to create activity-based micro-incentives. Economic...
TROB
2002
13 years 7 months ago
2002
Abstract--This paper investigates the synthesis of a spatial stiffness matrix using simple line springs. A new algorithm is developed, which enables the selection of constituent sp...
MEMBRANE
2009
Springer
14 years 2 months ago
2009
Springer
em is a computing model, which abstracts from the way the living cells process chemical compounds in their compartmental structure. The regions defined by a membrane structure con...
METAINFORMATICS
2004
Springer
14 years 25 days ago
2004
Springer
Spatial structure supporting applications offer an abstract level of what can be found in the real world. However, in many systems, objects are aligned straight, rotation is not p...
PAM
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. Although mobile hand-held devices (MHDs) are ubiquitous today, little is know about how they are used--especially at home. In this paper, we cast a first look on mobile h...