8623 search results - page 369 / 1725 » Software engineering for secure systems |
158
click to vote
IWPSE
2007
IEEE
16 years 1 months ago
2007
IEEE
Software evolution research has been focused mostly on analyzing the evolution of single software systems. However, it is rarely the case that a project exists as standalone, inde...
207
click to vote
SOSP
2005
ACM
16 years 3 months ago
2005
ACM
We propose a primitive, called Pioneer, as a first step towards verifiable code execution on untrusted legacy hosts. Pioneer does not require any hardware support such as secure...
165
click to vote
EWSA
2005
Springer
16 years 11 days ago
2005
Springer
The growing importance of context-awareness in the construction of adaptable systems requires the development of formal models and notations that can bring this new dimension from ...
142
Voted
CLUSTER
2002
IEEE
15 years 11 months ago
2002
IEEE
Traditionally, the telecom industry has used clusters to meet its carrier-class requirements of high availability, reliability, and scalability, while relying on cost-effective ha...
169
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
Information security is vital to many multiagent system applications. In this paper we formalise the notion of detectability of attacks in a MAS setting and analyse its applicabil...