Search Sciweavers | Sciweavers

15777 search results - page 378 / 3156

» Engineering in Software

132

click to vote

ICSE
2007
IEEE-ACM

88views Software Engineering» more ICSE 2007»

Reliability Analysis of Concurrent Systems Using LTSA

16 years 7 months ago

Download eprints.ucl.ac.uk

Genaína Nunes Rodrigues, David S. Rosenblum...

claim paper

Read More »

155

click to vote

ISPW
2006
IEEE

107views Software Engineering» more ISPW 2006»

Automatic Fault Tree Derivation from Little-JIL Process Definitions

16 years 25 days ago

Download laser.cs.umass.edu

Bin Chen, George S. Avrunin, Lori A. Clarke, Leon ...

claim paper

Read More »

143

click to vote

EUROMICRO
1999
IEEE

75views Software Engineering» more EUROMICRO 1999»

Neural Network based Textural Labeling of Images in Multimedia Applications

15 years 11 months ago

Download rtsimage.di.uoa.gr

S. A. Karkanis, George D. Magoulas, Maria Grigoria...

claim paper

Read More »

176

click to vote

RTSE
1997

107views Software Engineering» more RTSE 1997»

Abstraction and Modular Verification of Infinite-State Reactive Systems

15 years 10 months ago

Download react.cs.uni-sb.de

Zohar Manna, Michael Colón, Bernd Finkbeine...

claim paper

Read More »

102

click to vote

AVI
2006

90views Software Engineering» more AVI 2006»

Learning and managing user context in personalized communications services

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers