Sciweavers

445 search results - page 27 / 89
» A Call Abstraction for Component Coordination
Sort
View
CONCUR
2003
Springer
14 years 1 months ago
A Compositional Semantic Theory for Synchronous Component-based Design
Abstract. Digital signal processing and control (DSPC) tools allow application developers to assemble systems by connecting predefined components in signal–flow graphs and by h...
Barry Norton, Gerald Lüttgen, Michael Mendler
ICDE
2009
IEEE
126views Database» more  ICDE 2009»
14 years 3 months ago
Transaction Support for Log-Based Middleware Server Recovery
Abstract— We have developed log-based recovery for middleware servers that access back-end transaction systems (DBMSs). Transactional consistency is provided between in-memory st...
Rui Wang 0002, Betty Salzberg, David B. Lomet
IFIP
2003
Springer
14 years 1 months ago
Enhanced Power Saving Scheme for IEEE 802.11 DCF Based Wireless Networks
Abstract. Providing energy efficiency in MAC (Medium Access Control) layer, while achieving desirable throughput, is an important research issue in the area of wireless networking....
Jong-Mu Choi, Young-Bae Ko, Jai-Hoon Kim
ICCS
2004
Springer
14 years 2 months ago
Multiparadigm Model Oriented to Development of Grid Systems
Multiparadigm approach integrates programming language paradigms. We propose Holoparadigm (Holo) as a multiparadigm model oriented to development of grid systems. Holo uses a logi...
Jorge L. V. Barbosa, Cristiano André da Cos...
AC
2003
Springer
14 years 1 months ago
A Mathematical Semantics for Architectural Connectors
Abstract. A mathematical semantics is proposed for the notion of architectural connector, in the style defined by Allen and Garlan, that builds on Goguen’s categorical approach t...
José Luiz Fiadeiro, Antónia Lopes, M...