490 search results - page 5 / 98 » A Generic Language for Dynamic Adaptation |
SAFECOMP
2005
Springer
14 years 29 days ago
2005
Springer
In the telecommunications sector product development must minimise time to market while delivering high levels of dependability, availability, maintainability and scalability. High...
ECLIPSE
2005
ACM
13 years 9 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
FASE
2008
Springer
13 years 9 months ago
2008
Springer
For a number of programming languages, among them Eiffel, C, Java and Ruby, Hoare-style logics and dynamic logics have been developed. In these logics, pre- and postconditions are ...
SIGCOMM
2009
ACM
14 years 2 months ago
2009
ACM
Communication networks are growing exponentially, and new services and applications are being introduced unceasingly. To meet the demands of these services and applications, curre...
WAC
2004
Springer
14 years 25 days ago
2004
Springer
We describe the motivation and design of a novel embedded systems architecture for large networks of small devices, tha canonical example being wireless sensor networks. The archit...