3101 search results - page 294 / 621 » Composing Adaptive Software |
149
click to vote
ECBS
2010
IEEE
15 years 11 months ago
2010
IEEE
—One of the key challenges in modern real-time embedded systems is safe composition of different software components. Formal verification techniques provide the means for design...
108
click to vote
SAC
2009
ACM
15 years 11 months ago
2009
ACM
Motivated by constraint-based CAD software, we introduce a new, very general, rigidity model: the body-and-cad structure, composed of rigid bodies in 3D constrained by pairwise co...
139
Voted
SIGCOMM
2009
ACM
15 years 11 months ago
2009
ACM
Custom packet processing functionality in routers is one of the key characteristics of next-generation Internet architectures. Network services have been proposed as an abstractio...
156
Voted
WIMOB
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The adoption of new hardware and software architectures will make future generations of pervasive devices more flexible and extensible. Networks of computational nodes ...
127
Voted
CLUSTER
2007
IEEE
15 years 11 months ago
2007
IEEE
— The service-oriented architecture has come a long way in solving the problem of reusability of existing software resources. Grid applications today are composed of a large numb...