Sciweavers

1077 search results - page 29 / 216
» Management of Evolving Specifications using Category Theory
Sort
View
SIGOPS
2008
123views more  SIGOPS 2008»
13 years 7 months ago
The case for active block layer extensions
Self-managing storage systems have recently received attention from the research community due to their promised ability of continuously adapting to best reflect high-level system...
Jorge Guerra, Luis Useche, Medha Bhadkamkar, Ricar...
GECCO
2005
Springer
109views Optimization» more  GECCO 2005»
14 years 1 months ago
Information landscapes and the analysis of search algorithms
In [15] we introduced the information landscape as a new concept of a landscape. We showed that for a landscape of a small size, information landscape theory can be used to predic...
Yossi Borenstein, Riccardo Poli
EUSFLAT
2009
124views Fuzzy Logic» more  EUSFLAT 2009»
13 years 5 months ago
A toward Framework for Generic Uncertainty Management
The need for an automatic inference process able to deal with information coming from unreliable sources is becoming a relevant issue both on corporate networks and on the open Web...
Ernesto Damiani, Paolo Ceravolo, Marcello Leida
ICFP
2003
ACM
14 years 7 months ago
A theory of aspects
This paper define the semantics of MinAML, an idealized aspect-oriented programming language, by giving a typedirected translation from its user-friendly external language to its ...
David Walker, Steve Zdancewic, Jay Ligatti
CHI
2004
ACM
14 years 8 months ago
"Stuff goes into the computer and doesn't come out": a cross-tool study of personal information management
This paper reports a study of Personal Information Management (PIM), which advances research in two ways: (1) rather than focusing on one tool, we collected cross-tool data relati...
Richard Boardman, Martina Angela Sasse