1288 search results - page 159 / 258 » Securing aspect composition |
103
Voted
MSE
2002
IEEE
15 years 6 months ago
2002
IEEE
A composite multimedia object has specific timing relationships among the different types of component media. Coordinating the real-time presentation of information and maintaini...
110
Voted
KBSE
1999
IEEE
15 years 5 months ago
1999
IEEE
This paper describes the application of advanced formal modelling techniques and tools from the CADP toolset to the verification of CFS, a distributed file system kernel. After a ...
124
Voted
ATVA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. As Service-Oriented Architectures are more widely adopted, it becomes more important to adopt measures for ensuring that the services satisfy functional and non-functiona...
104
Voted
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
This work presents a proposal to diagnose distributed systems utilizing model-based diagnosis using distributed databases. In order to improve aspects as versatility, persistence,...
113
Voted
AINA
2006
IEEE
15 years 4 months ago
2006
IEEE
The paper discusses the potential usage of principles from General System Theory (GST) and Cybernetics for design of Autonomic Software. Motivated by the characteristics of open s...