Sciweavers

5407 search results - page 92 / 1082

» The Software Engineering Global Model

61

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

15 years 4 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 »

70

COMSWARE
2007
IEEE

96views Software Engineering» more COMSWARE 2007»

Threat Model Framework and Methodology for Personal Networks (PNs)

15 years 4 months ago

Threat Model Framework and Methodology for Personal Networks (PNs)

Download 210.71.44.174

Neeli Rashmi Prasad

claim paper

Read More »

58

FSTTCS
2007
Springer

107views Software Engineering» more FSTTCS 2007»

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

15 years 4 months 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 »

61

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

15 years 3 months ago

Modeling the Vulnerability Discovery Process

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

62

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

15 years 3 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 »