110 search results - page 14 / 22 » A Compositional Framework for Real-Time Guarantees |
ENTCS
2010
13 years 8 months ago
2010
We propose a formal framework for extending a class-based language, equipped with a given class composition mechanism, to allow programmers to define their own derived composition...
FASE
2009
Springer
14 years 13 days ago
2009
Springer
Abstract. We present a novel algorithm for interface generation of software components. Given a component, our algorithm uses learning techniques to compute a permissive interface ...
CIA
2006
Springer
14 years 9 days ago
2006
Springer
Abstract. Service oriented computing oers a new approach to programming. To be useful for large and diverse sets of problems, eective service selection and composition is crucial. ...
ATVA
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We define a probabilistic contract framework for the construction of component-based embedded systems, based on the theory of Interactive Markov Chains. A contract specif...
EMSOFT
2010
Springer
13 years 6 months ago
2010
Springer
Many real-time applications are designed to work in different operating modes each characterized by different functionality and resource demands. With each mode change, resource d...