Search Sciweavers | Sciweavers

15777 search results - page 511 / 3156

» The Reformulation-Optimization Software Engine

108

click to vote

SIGSOFT
2010
ACM

123views Software Engineering» more SIGSOFT 2010»

FITE: future integrated testing environment

15 years 2 months ago

Download www.lta.disco.unimib.it

Michael W. Whalen, Patrice Godefroid, Leonardo Mar...

claim paper

Read More »

141

click to vote

WCET
2010

116views Software Engineering» more WCET 2010»

Timing Anomalies Reloaded

15 years 2 months ago

Download drops.dagstuhl.de

Computing tight WCET bounds in the presence of timing anomalies

Gernot Gebhard

claim paper

Read More »

129

Voted

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

15 years 2 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

Towards a Strategic Requirements Elicitation - A Proposal of the PRINCE Model

15 years 2 months ago

Download sel.ics.es.osaka-u.ac.jp

Takako Nakatani, Shouzo Hori, Michio Tsuda, Mari I...

claim paper

Read More »

click to vote

ICSOFT
2009

94views Software Engineering» more ICSOFT 2009»

Applicability of BET to Elusive Bugs in Diverse Application Areas

15 years 2 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers