Search Sciweavers | Sciweavers

4919 search results - page 85 / 984

» A Process-Ontological Model for Software Engineering

149

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 »

134

click to vote

COMSWARE
2007
IEEE

96views Software Engineering» more COMSWARE 2007»

Threat Model Framework and Methodology for Personal Networks (PNs)

16 years 29 days ago

Download 210.71.44.174

Neeli Rashmi Prasad

claim paper

Read More »

132

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 23 days ago

Download www.infsec.ethz.ch

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

claim paper

Read More »

139

click to vote

ISSRE
2005
IEEE

59views Software Engineering» more ISSRE 2005»

Modeling the Vulnerability Discovery Process

16 years 6 days ago

Download www.cs.colostate.edu

Omar H. Alhazmi, Yashwant K. Malaiya

claim paper

Read More »

137

click to vote

ISSRE
2005
IEEE

98views Software Engineering» more ISSRE 2005»

Markovian Modeling and Analysis of Internet Worm Propagation

16 years 6 days ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers