598 search results - page 42 / 120 » A Reusability Model for Portlets |
ISN
1999
Springer
15 years 4 months ago
1999
Springer
The competitive pressures of the telecoms sector are leading to a major push towards the automation and integration of many operational support processes. This creates pressures to...
119
click to vote
VAMOS
2008
Springer
15 years 1 months ago
2008
Springer
Software product lines (SPLs) allow to generate tailormade software products by selecting and composing reusable code units. However, SPLs with hundreds of features and millions o...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Currently, business requirements for rapid operational efficiency, customer responsiveness as well as rapid adaptability are driving the need for ever increasing communication and...
106
click to vote
ERLANG
2003
ACM
15 years 5 months ago
2003
ACM
VoDKA is a Video-on-Demand server developed using Erlang/OTP. In this paper, the evolution of the core architecture of the system, designed for improving resource modelling, is de...
107
click to vote
FMOODS
2007
15 years 1 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...