6528 search results - page 143 / 1306 » On the architecture of software component systems |
237
Voted
EDO
2006
Springer
15 years 9 months ago
2006
Springer
Server applications with adaptive behaviors can adapt their functionality in response to environmental changes, and significantly reduce the on-going costs of system deployment an...
166
click to vote
AC
2002
Springer
15 years 6 months ago
2002
Springer
nce of computation has systematically abstracted away the physical world. Embedded software systems, however, engage the physical world. Time, concurrency, liveness, robustness, c...
139
click to vote
ICSE
2003
IEEE-ACM
16 years 6 months ago
2003
IEEE-ACM
We present a new methodology for automatic verification of C programs against finite state machine specifications. Our approach is compositional, naturally enabling us to decompos...
156
click to vote
ARCS
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Software applications executing in highly dynamic environments are faced with the challenge of frequent and usually unpredictable changes in their execution environment. ...
149
click to vote
TOOLS
1999
IEEE
15 years 10 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...