10669 search results - page 1757 / 2134 » Software - Implemented Self-healing System |
176
click to vote
FM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We present a software tool platform which facilitates security and performance analysis of systems which starts and ends with UML model descriptions. A UML project is pre...
176
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. An extension of the λ-calculus is proposed, to study historybased access control. It allows for security policies with a possibly nested, local scope. We define a type ...
161
click to vote
FOSSACS
2005
Springer
16 years 9 days ago
2005
Springer
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
176
click to vote
FSTTCS
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We identify a network of sequential processes that communicate by synchronizing frequently on common actions. More precisely, we demand that there is a bound k such that ...
169
click to vote
ICFEM
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. UML 2.0, which is the standard modeling language for objectoriented systems, has only an informally given semantics. This is in particular the case for UML 2.0 state mach...