Sciweavers

811 search results - page 8 / 163
» When Novelty Is Not Enough
Sort
View
JLP
2007
130views more  JLP 2007»
13 years 8 months ago
A compositional coalgebraic model of fusion calculus
This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the...
Maria Grazia Buscemi, Ugo Montanari
HRI
2009
ACM
14 years 3 months ago
Robots in the wild: understanding long-term use
It has long been recognized that novelty effects exist in the interaction with technologies. Despite this recognition, we still know little about the novelty effects associated wi...
Ja-Young Sung, Henrik I. Christensen, Rebecca E. G...
PRDC
2005
IEEE
14 years 2 months ago
Optimal Choice of Checkpointing Interval for High Availability
Supporting high availability by checkpointing and switching to a backup upon failure of a primary has a cost. Trade-off studies help system architects to decide whether higher ava...
Diana Szentiványi, Simin Nadjm-Tehrani, Joh...
JSYML
2007
74views more  JSYML 2007»
13 years 8 months ago
A power function with a fixed finite gap everywhere
We give an application of the extender based Radin forcing to cardinal arithmetic. Assuming κ is a large enough cardinal we construct a model satisfying 2κ = κ+n together with 2...
Carmi Merimovich
SNPD
2003
13 years 10 months ago
Telematics: A Distinctive Discipline
With the advance of knowledge, new disciplines are succesively identified. Computer Science has its roots in Babbage and others, but was identified as a separate discipline duri...
Carlos Delgado Kloos, Arturo Azorra Soloña