Sciweavers

5407 search results - page 92 / 1082

» The Software Engineering Global Model

142

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

129

COMSWARE
2007
IEEE

96views Software Engineering» more COMSWARE 2007»

Threat Model Framework and Methodology for Personal Networks (PNs)

16 years 18 days ago

Threat Model Framework and Methodology for Personal Networks (PNs)

Download 210.71.44.174

Neeli Rashmi Prasad

claim paper

Read More »

127

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

16 years 13 days ago

Model Checking Almost All Paths Can Be Less Expensive Than Checking All Paths

Download www.infsec.ethz.ch

Matthias Schmalz, Hagen Völzer, Daniele Varac...

claim paper

Read More »

132

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

15 years 12 months ago

Modeling the Vulnerability Discovery Process

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

127

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

15 years 12 months ago

Markovian Modeling and Analysis of Internet Worm Propagation

Download www.orsj.or.jp

Hiroyuki Okamura, Hisashi Kobayashi, Tadashi Dohi

claim paper

Read More »

« Prev « First page 92 / 1082 Last » Next »