Search Sciweavers | Sciweavers

15727 search results - page 539 / 3146

» Software Engineering - Introduction

183

click to vote

WCET
2010

116views Software Engineering» more WCET 2010»

Timing Anomalies Reloaded

15 years 5 months ago

Download drops.dagstuhl.de

Computing tight WCET bounds in the presence of timing anomalies

Gernot Gebhard

claim paper

Read More »

169

click to vote

ICFEM
2009
Springer

103views Software Engineering» more ICFEM 2009»

Improving Automatic Verification of Security Protocols with XOR

15 years 4 months ago

Download satoss.uni.lu

Abstract. K

Xihui Chen, Ton van Deursen, Jun Pang

claim paper

Read More »

115

click to vote

ICSOFT
2009

107views Software Engineering» more ICSOFT 2009»

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

15 years 4 months ago

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

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

claim paper

Read More »

104

click to vote

ICSOFT
2009

94views Software Engineering» more ICSOFT 2009»

Applicability of BET to Elusive Bugs in Diverse Application Areas

15 years 4 months ago

Download cseweb.ucsd.edu

M. Chaudhary, B. Chen, P. Desai, R. Hemmatti, F. L...

claim paper

Read More »

145

click to vote

ICSOFT
2009

105views Software Engineering» more ICSOFT 2009»

How to Deal with Replication and Recovery in a Distributed File Server

15 years 4 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers