CBSE
2006
Springer
14 years 3 months ago
2006
Springer
The possibilities currently offered to conduct business at an electronic level are immense. Service providers offer access to their attendances through components placed on the Int...
CBSE
2006
Springer
14 years 3 months ago
2006
Springer
We present a novel approach which facilitates formal verification of component-based software application families using model checking. This approach enables effective composition...
CBSE
2006
Springer
14 years 3 months ago
2006
Springer
CBSE
2006
Springer
14 years 3 months ago
2006
Springer
We investigate the impact of Operating System's Virtual Memory Managers (VMMs) on performance of enterprise applications. By taking various popular branches of the Linux kerne...
CBSE
2006
Springer
14 years 3 months ago
2006
Springer
Abstract. Today we see more and more services being brought to connected homes, such as entertainment or home automation. These services are published and operated by a variety of ...