Search Sciweavers | Sciweavers

14850 search results - page 220 / 2970

» The Security of

139

click to vote

SP
2002
IEEE

132views Security Privacy» more SP 2002»

Automated Generation and Analysis of Attack Graphs

15 years 7 months ago

Download pages.cs.wisc.edu

Oleg Sheyner, Joshua W. Haines, Somesh Jha, Richar...

claim paper

Read More »

158

click to vote

ISSE
2010

343views Security Privacy» more ISSE 2010»

Towards model checking executable UML specifications in mCRL2

15 years 5 months ago

Download www.artist-embedded.org

Helle Hvid Hansen, Jeroen Ketema, Bas Luttik, Moha...

claim paper

Read More »

101

click to vote

ISSE
2010

119views Security Privacy» more ISSE 2010»

A first attempt to combine SysML requirements diagrams and B

15 years 5 months ago

Download www.artist-embedded.org

Régine Laleau, Farida Semmak, Abderrahman M...

claim paper

Read More »

187

click to vote

ISSE
2010

118views Security Privacy» more ISSE 2010»

Transforming OntoUML into Alloy: towards conceptual model validation using a lightweight formal method

15 years 5 months ago

Download www.inf.ufes.br

Bernardo F. B. Braga, João Paulo A. Almeida...

claim paper

Read More »

109

click to vote

OOPSLA
2010
Springer

97views Security Privacy» more OOPSLA 2010»

SPUR: a trace-based JIT compiler for CIL

15 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers