Sciweavers

3676 search results - page 222 / 736
» Scalable component abstractions
Sort
View
FORTE
2007
15 years 8 months ago
Formal Analysis of Publish-Subscribe Systems by Probabilistic Timed Automata
Abstract. The publish-subscribe architectural style has recently emerged as a promising approach to tackle the dynamism of modern distributed applications. The correctness of these...
Fei He, Luciano Baresi, Carlo Ghezzi, Paola Spolet...
ENTCS
2006
116views more  ENTCS 2006»
15 years 6 months ago
Stepwise Refinement of Processes
Industry is looking to create a market in reliable "plug-and-play" components. To model components in a modular style it would be useful to combine event-based and state...
Steve Reeves, David Streader
101
Voted
TIT
2008
51views more  TIT 2008»
15 years 6 months ago
Spectral Relations for Multidimensional Complex Improper Stationary and (Almost) Cyclostationary Processes
Abstract--We study continuous-time multidimensional widesense stationary (WSS) and (almost) cyclostationary processes in the frequency domain. Under the assumption that the correla...
Patrik Wahlberg, Peter J. Schreier
KI
2007
Springer
15 years 6 months ago
Engineering Adaptive Web Applications
Engineering adaptive Web applications implies the development of content that can be automatically adjusted to varying client devices and user preferences. To meet this requiremen...
Peter Dolog
DATE
2010
IEEE
154views Hardware» more  DATE 2010»
15 years 5 months ago
A proposal for real-time interfaces in SPEEDS
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
Purandar Bhaduri, Ingo Stierand