Sciweavers

2152 search results - page 152 / 431
» An Abstract Account of Composition
Sort
View
SSS
2010
Springer
125views Control Systems» more  SSS 2010»
15 years 4 months ago
Systematic Correct Construction of Self-stabilizing Systems: A Case Study
Design and implementation of distributed algorithms often involve many subtleties due to their complex structure, non-determinism, and low atomicity as well as occurrence of unanti...
Ananda Basu, Borzoo Bonakdarpour, Marius Bozga, Jo...
PODS
2012
ACM
244views Database» more  PODS 2012»
13 years 9 months ago
A rigorous and customizable framework for privacy
In this paper we introduce a new and general privacy framework called Pufferfish. The Pufferfish framework can be used to create new privacy definitions that are customized t...
Daniel Kifer, Ashwin Machanavajjhala
CADUI
2004
15 years 8 months ago
Generating Context-Sensitive Multiple Device Interfaces from Design
Abstract This paper shows a technique that allows adaptive user interfaces, spanning multiple devices, to be rendered from the task specification at runtime taking into account the...
Tim Clerckx, Kris Luyten, Karin Coninx
ALIFE
2008
15 years 6 months ago
Natural Selection in Relation to Complexity
, reproductive value, soft selectionAbstract Structural complexity characterizes our representations of dissipative structures. As a mechanistic concept, when referred to natural s...
Stanley N. Salthe
ITSSA
2006
98views more  ITSSA 2006»
15 years 6 months ago
Agent-Oriented Data Curation in Bioinformatics
Abstract. The practitioners of bioinformatics require increasing sophistication from their software tools to take into account the particular characteristics that make their domain...
Simon Miles