2513 search results - page 81 / 503 » Tamper-Tolerant Software: Modeling and Implementation |
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
for reasoning about abstract models of protocols. The work on informal methods attempts to discern common patterns in the extensive record of flawed protocols, and to formulate po...
COMPSAC
2002
IEEE
14 years 3 months ago
2002
IEEE
The method of choice of the software reliability models based on the analysis of assumptions and compatibility both input and output parameters is offered. This method is illustra...
WOSP
2000
ACM
14 years 2 months ago
2000
ACM
In this paper we present a formal approach to analyse performance for distributed systems, which is integrated in the early stages of the software development process. We propose ...
ICSM
2003
IEEE
14 years 3 months ago
2003
IEEE
This paper presents a graph matching model for the software architecture recovery problem. Because of their expressiveness, the graphs have been widely used for representing both ...
ICSE
1997
IEEE-ACM
14 years 2 months ago
1997
IEEE-ACM
As software projects evolve, possibly differing in size, complexity, scope, and purpose, the development processes that support the project must evolve to reflect these changes. T...