Sciweavers

13 search results - page 2 / 3
» Towards an Institutional Framework for Heterogeneous Formal ...
Sort
View
ICSE
2001
IEEE-ACM
13 years 9 months ago
A Formal Approach to Component-Based Software Engineering: Education and Evaluation
This paper summarizes an approach for introducing component-based software engineering (CBSE) early in the undergraduate CS curriculum, and an evaluation of the impact of the appr...
Murali Sitaraman, Timothy J. Long, Bruce W. Weide,...
FMCO
2003
Springer
162views Formal Methods» more  FMCO 2003»
13 years 10 months ago
An MDA Approach to Tame Component Based Software Development
Abstract. The aim of this paper is to show how the Model Driven Architecture (MDA) can be used in relation with component based software engineering. A software component only exhi...
Jean-Marc Jézéquel, Olivier Defour, ...
WWW
2011
ACM
12 years 11 months ago
Towards liquid service oriented architectures
The advent of Cloud computing platforms, and the growing pervasiveness of Multicore processor architectures have revealed the inadequateness of traditional programming models base...
Daniele Bonetta, Cesare Pautasso
CASCON
2008
255views Education» more  CASCON 2008»
13 years 6 months ago
Autonomic tuning expert: a framework for best-practice oriented autonomic database tuning
Databases are growing rapidly in scale and complexity. High performance, availability, and further service level agreements need to be satisfied under any circumstances to please ...
David Wiese, Gennadi Rabinovitch, Michael Reichert...
CORR
2011
Springer
165views Education» more  CORR 2011»
12 years 8 months ago
Heterogeneous Cellular Networks with Flexible Cell Association: A Comprehensive Downlink SINR Analysis
In this paper we develop a tractable framework for SINR analysis in downlink heterogeneous cellular networks (HCNs) with flexible cell association policies. The HCN is modeled as...
Han-Shin Jo, Young Jin Sang, Ping Xia, Jeffrey G. ...