2880 search results - page 163 / 576 » context 2007 |
121
Voted
JSYML
2007
15 years 4 months ago
2007
The paper uses the formalism of indexed categories to recover the proof of a standard final coalgebra theorem, thus showing existence of final coalgebras for a special class of ...
164
click to vote
AML
2002
15 years 4 months ago
2002
We present Saharon Shelah's Stability Spectrum and Homogeneity Spectrum theorems, as well as the equivalence between the order property and instability in the framework of Fin...
130
click to vote
ARTMED
1999
15 years 4 months ago
1999
Case-based approaches predict the behaviour of dynamic systems by analysing a given experimental setting in the context of others. To select similar cases and to control adaptatio...
127
click to vote
COMPSAC
2007
IEEE
15 years 11 months ago
2007
IEEE
Building an adaptive software system that can cope with changing requirements and changing environments presents four major challenges. These are (1) to receive, represent and rea...
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
The paper considers the use of online technical discussions by software developers in Rio de Janeiro, Brazil, drawing on the results of a 5 month interv...