9732 search results - page 1710 / 1947 » Modelling Adaptivity with Aspects |
162
click to vote
SAGA
2005
Springer
15 years 11 months ago
2005
Springer
We consider temporal aspects of self-replication and evolvability – in particular, the massively asynchronous parallel and distributed nature of living systems. Formal views of s...
181
click to vote
ACMDIS
2004
ACM
15 years 11 months ago
2004
ACM
The success of translating an analog or manual practice into a digital interactive system may depend on how well that translation captures not only the functional what and how asp...
137
click to vote
SIGMETRICS
2004
ACM
15 years 11 months ago
2004
ACM
—Traditionally uncooperative rate control schemes have implied open loop protocols such as UDP, CBR. In this paper we show that closed loop uncooperative rate control schemes als...
183
click to vote
BIRTHDAY
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
165
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
Mobile software applications have to meet new requirements directly arising from mobility issues. To address these requirements at an early stage in development, an architecture d...