9842 search results - page 55 / 1969 » Compositional timing analysis |
GRID
2008
Springer
13 years 7 months ago
2008
Springer
A myriad of recent activities can be seen towards dynamic workflow composition for processing complex and data intensive problems. Meanwhile, the simultaneous emergence of the gri...
CDC
2009
IEEE
14 years 12 days ago
2009
IEEE
Abstract— We propose formal models for analyzing robustness of multi-hop control networks, where data from sensors to controllers and from controllers to actuators is sent throug...
DATE
2006
IEEE
14 years 1 months ago
2006
IEEE
Recent research on performance analysis for embedded systems shows a trend to formal compositional models and methods. These compositional methods can be used to determine the per...
ISARCS
2010
13 years 11 months ago
2010
Abstract. Component-based architectures are widely used in embedded systems. For managing complexity and improving quality separation of concerns is one of the most important princ...
CSAC
2006
13 years 9 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...