Sciweavers

15777 search results - page 136 / 3156

» Engineering in Software

95

Voted

IUI
2004
ACM

132views Software Engineering» more IUI 2004»

SUIDT: safe user interface design tool

15 years 9 months ago

SUIDT: safe user interface design tool

Download www.lisi.ensma.fr

Mickaël Baron, Patrick Girard

claim paper

Read More »

92

PPPJ
2004
ACM

103views Software Engineering» more PPPJ 2004»

A quantitative analysis of Java bytecode sequences

15 years 9 months ago

A quantitative analysis of Java bytecode sequences

Download pages.cpsc.ucalgary.ca

Ben Stephenson, Wade Holst

claim paper

Read More »

100

WOSP
2004
ACM

94views Software Engineering» more WOSP 2004»

Applying fixed priority scheduling in practice

15 years 9 months ago

Applying fixed priority scheduling in practice

Download alumni.cs.ucsb.edu

Raimondas Lencevicius, Alexander Ran

claim paper

Read More »

104

Voted

WOSS
2004
ACM

122views Software Engineering» more WOSS 2004»

Using model trees to characterize computer resource usage

15 years 9 months ago

Using model trees to characterize computer resource usage

Download www.cs.cmu.edu

Stephen Heisig, Steve Moyle

claim paper

Read More »

92

Voted

AMAST
2004
Springer

85views Software Engineering» more AMAST 2004»

Model-Checking Systems with Unbounded Variables without Abstraction

15 years 9 months ago

Model-Checking Systems with Unbounded Variables without Abstraction

Download users-tima.imag.fr

Magali Contensin, Laurence Pierre

claim paper

Read More »

« Prev « First page 136 / 3156 Last » Next »