Sciweavers

794 search results - page 139 / 159
» Adopting a Software Component Model in Real-Time Systems Dev...
Sort
View
FASE
2001
Springer
15 years 10 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
TSE
2011
114views more  TSE 2011»
15 years 25 days ago
Loupe: Verifying Publish-Subscribe Architectures with a Magnifying Lens
Abstract— The Publish-Subscribe (P/S) communication paradigm fosters high decoupling among distributed components. This facilitates the design of dynamic applications, but also i...
Luciano Baresi, Carlo Ghezzi, Luca Mottola
AOSE
2005
Springer
15 years 11 months ago
Zooming Multi-Agent Systems
Abstract Complex systems call for a hierarchical description. Analogously, the engineering of non-trivial MASs (multiagent systems) requires principles and mechanisms for a multi-l...
Ambra Molesini, Andrea Omicini, Alessandro Ricci, ...
EMSOFT
2007
Springer
16 years 2 days ago
Exploiting non-volatile RAM to enhance flash file system performance
Non-volatile RAM (NVRAM) such as PRAM (Phase-change RAM), FeRAM (Ferroelectric RAM), and MRAM (Magnetoresistive RAM) has characteristics of both non-volatile storage and random ac...
In Hwan Doh, Jongmoo Choi, Donghee Lee, Sam H. Noh
DSOM
2005
Springer
15 years 11 months ago
Can Dynamic Provisioning and Rejuvenation Systems Coexist in Peace?
Dynamic provisioning systems change application capacity in order to use enough resources to accommodate current load. Rejuvenation systems detect/forecast software failures and te...
Raquel Vigolvino Lopes, Walfredo Cirne, Francisco ...