Sciweavers

3676 search results - page 273 / 736
» Scalable component abstractions
Sort
View
185
Voted
ICDCSW
2007
IEEE
16 years 1 months ago
Transactions in Content-Based Publish/Subscribe Middleware
Content-based publish/subscribe provides a flexible communication model for component interoperation in large-scale environments. In process support systems and other application...
Luis Vargas, Lauri I. W. Pesonen, Ehud Gudes, Jean...
INFOCOM
2007
IEEE
16 years 1 months ago
Fundamental Complexity of Optical Systems
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
Hadas Kogan, Isaac Keslassy
SMC
2007
IEEE
105views Control Systems» more  SMC 2007»
16 years 29 days ago
A software architecture for adaptive modular sensing systems
Abstract—In this paper, a software architecture and knowledge representation scheme that enables the combination and reconfiguration of modular sensor and actuator components is...
Andrew C. Lyle, Michael D. Naish
TPHOL
2007
IEEE
16 years 29 days ago
Building Formal Method Tools in the Isabelle/Isar Framework
Abstract We present the generic system framework of Isabelle/Isar underlying recent versions of Isabelle. Among other things, Isar provides an infrastructure for Isabelle plug-ins,...
Makarius Wenzel, Burkhart Wolff
BPM
2007
Springer
144views Business» more  BPM 2007»
16 years 26 days ago
Managing Socio-technical Interactions in Healthcare Systems
Abstract. We put forward an architectural framework that promotes the externalisation of the social dimension that arises in software-intensive systems which, like in healthcare, e...
Osama El-Hassan, José Luiz Fiadeiro, Reiko ...