841 search results - page 113 / 169 » Data Encapsulation in Software Components |
SAC
2008
ACM
13 years 9 months ago
2008
ACM
This paper introduces an approach to develop componentbased adaptive distributed applications. Our approach separates the communication and the functional aspects of a distributed...
IEEEARES
2010
IEEE
14 years 4 months ago
2010
IEEE
—Trusted Computing aims at enhancing the security of IT systems by using a combination of trusted hardware and software components to provide security guarantees. This includes s...
SBMF
2009
Springer
14 years 4 months ago
2009
Springer
Abstract. This paper presents a case study on retrospective veri cation of the Linux Virtual File System (VFS), which is aimed at checking for violations of API usage rules and mem...
MODELS
2007
Springer
14 years 4 months ago
2007
Springer
To promote the Model-Based software engineering development of user interfaces, this paper proposes a model driven development approach of complex user interface. The approach cap...
SAC
2006
ACM
14 years 4 months ago
2006
ACM
CT As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requ...