Search Sciweavers | Sciweavers

4919 search results - page 85 / 984

» A Process-Ontological Model for Software Engineering

143

click to vote

FOSSACS
2010
Springer

139views Software Engineering» more FOSSACS 2010»

When Model-Checking Freeze LTL over Counter Machines Becomes Decidable

16 years 1 months ago

Download www.lsv.ens-cachan.fr

Stéphane Demri, Arnaud Sangnier

claim paper

Read More »

129

click to vote

COMSWARE
2007
IEEE

96views Software Engineering» more COMSWARE 2007»

Threat Model Framework and Methodology for Personal Networks (PNs)

16 years 19 days ago

Download 210.71.44.174

Neeli Rashmi Prasad

claim paper

Read More »

128

click to vote

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

Download www.infsec.ethz.ch

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

claim paper

Read More »

132

click to vote

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

15 years 12 months ago

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

127

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

15 years 12 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers