Sciweavers

5668 search results - page 86 / 1134

» The case for software evolution

90

CODES
2001
IEEE

86views Software Engineering» more CODES 2001»

STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems

15 years 7 months ago

STARS of MPEG decoder: a case study in worst-case analysis of discrete-event systems

Download www.cecs.uci.edu

Felice Balarin

claim paper

Read More »

97

Voted

COMPSAC
2001
IEEE

98views Software Engineering» more COMPSAC 2001»

Formal and Use-Case Driven Requirement Analysis in UML

15 years 7 months ago

Formal and Use-Case Driven Requirement Analysis in UML

Download www.iist.unu.edu

Xiaoshan Li, Zhiming Liu, Jifeng He

claim paper

Read More »

106

Voted

ICFEM
2000
Springer

93views Software Engineering» more ICFEM 2000»

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

15 years 7 months ago

SPIN vs. VIS: A Case Study on the Formal Verification of the ATMR Protocol

Download lvk.cs.msu.su

Hong Peng, Sofiène Tahar, Ferhat Khendek

claim paper

Read More »

101

Voted

WER
2000
Springer

94views Software Engineering» more WER 2000»

Desenvolvendo Use Cases a partir de Modelagem Organizacional

15 years 7 months ago

Desenvolvendo Use Cases a partir de Modelagem Organizacional

Download wer.inf.puc-rio.br

Victor F. A. Santander, Jaelson Castro

claim paper

Read More »

98

Voted

CC
2007
Springer

94views System Software» more CC 2007»

Pseudorandomness and Average-Case Complexity Via Uniform Reductions

15 years 3 months ago

Pseudorandomness and Average-Case Complexity Via Uniform Reductions

Download people.seas.harvard.edu

Luca Trevisan, Salil P. Vadhan

claim paper

Read More »

« Prev « First page 86 / 1134 Last » Next »