Search Sciweavers | Sciweavers

16725 search results - page 201 / 3345

» Engineering Software Correctness

103

click to vote

UIST
1999
ACM

81views Software Engineering» more UIST 1999»

Time-Machine Computing: A Time-Centric Approach for the Information Environment

15 years 7 months ago

Download simson.net

Jun Rekimoto

claim paper

Read More »

104

Voted

UIST
1999
ACM

88views Software Engineering» more UIST 1999»

Real-world Interaction Using the FieldMouse

15 years 7 months ago

Download siio.jp

Itiro Siio, Toshiyuki Masui, Kentaro Fukuchi

claim paper

Read More »

Voted

ADAEUROPE
1999
Springer

84views Software Engineering» more ADAEUROPE 1999»

Interprocedural Symbolic Evaluation of Ada Programs with Aliases

15 years 7 months ago

Download www.auto.tuwien.ac.at

Johann Blieberger, Bernd Burgstaller, Bernhard Sch...

claim paper

Read More »

click to vote

ADAEUROPE
1999
Springer

79views Software Engineering» more ADAEUROPE 1999»

Ada Binding to a Shared Object Layer

15 years 7 months ago

Download www.auto.tuwien.ac.at

Johann Blieberger, Johann Klasek, eva Kühn

claim paper

Read More »

Voted

ADAEUROPE
1999
Springer

91views Software Engineering» more ADAEUROPE 1999»

The Ceiling Protocol in Multi-moded Real-Time Systems

15 years 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers