1676 search results - page 157 / 336 » Formal Development of Self-organising Systems |
181
Voted
ENTCS
2006
15 years 6 months ago
2006
Nowadays, software evolution is a very hot topic. Many applications need to be updated or extended with new characteristics during their lifecycle. Software evolution is character...
185
Voted
MBEES
2010
15 years 4 months ago
2010
In a component-based development approach system integration generally implies the packaging and deployment of a group of software components on hardware units, possibly hiding th...
155
Voted
FM
2006
Springer
15 years 9 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...
184
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...
162
Voted
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...