Sciweavers

10871 search results - page 99 / 2175

» A stable programming language

29

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

14 years 2 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

24

IFIP
1994
Springer

79views Programming Languages» more IFIP 1994»

Medical Requirements for Data Protection

14 years 2 months ago

Medical Requirements for Data Protection

Download www.staff.uni-mainz.de

Klaus Pommerening

claim paper

Read More »

27

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

14 years 2 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

20

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

Linear Speed-Up, Information Vicinity, and Finite-State Machines

14 years 2 months ago

Linear Speed-Up, Information Vicinity, and Finite-State Machines

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

33

IFIP
1994
Springer

113views Programming Languages» more IFIP 1994»

Adaptive User Interfaces

14 years 2 months ago

Adaptive User Interfaces

Download www.eng.utah.edu

Markus A. Thies

claim paper

Read More »

« Prev « First page 99 / 2175 Last » Next »