5434 search results - page 653 / 1087 » Tool support for MOLA |
155
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Since engineered systems, e.g. aviation control, have increasingly equipped with automated and computer-supported artifacts, human-system interaction has been an important issue. U...
177
click to vote
TACAS
2007
Springer
16 years 1 months ago
2007
Springer
This paper is concerned with bridging the gap between requirements, provided as a set of scenarios, and conforming design models. The novel aspect of our approach is to exploit lea...
178
click to vote
VIZSEC
2007
Springer
16 years 1 months ago
2007
Springer
This paper describes Isis, a system that uses progressive multiples of timelines and event plots to support the iterative investigation of intrusions by experienced analysts using ...
150
click to vote
APSEC
2006
IEEE
16 years 29 days ago
2006
IEEE
The Java Standard API has grown enormously since Java’s beginnings, now consisting of over 3,000 classes and 20,000 methods. The intent of this API is to provide high quality co...
152
click to vote
APSEC
2006
IEEE
16 years 29 days ago
2006
IEEE
Refactoring makes existing source code more understandable and reusable without changing observable behavior. Therefore, applying refactorings to existing source code and reversin...