Sciweavers

619 search results - page 20 / 124

» IFIP

70

IFIP
1994
Springer

106views Programming Languages» more IFIP 1994»

Deriving Partial Correctness Logics From Evolving Algebras

15 years 3 months ago

Deriving Partial Correctness Logics From Evolving Algebras

Download www.eecs.umich.edu

Arnd Poetzsch-Heffter

claim paper

Read More »

66

IFIP
1994
Springer

79views Programming Languages» more IFIP 1994»

Medical Requirements for Data Protection

15 years 3 months ago

Medical Requirements for Data Protection

Download www.staff.uni-mainz.de

Klaus Pommerening

claim paper

Read More »

63

IFIP
1994
Springer

85views Programming Languages» more IFIP 1994»

Linear-Time Algorithms in Memory Hierarchies

15 years 3 months ago

Linear-Time Algorithms in Memory Hierarchies

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

67

IFIP
1994
Springer

137views Programming Languages» more IFIP 1994»

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

15 years 3 months ago

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

Download www.cse.buffalo.edu

Kenneth W. Regan

claim paper

Read More »

77

IFIP
1994
Springer

113views Programming Languages» more IFIP 1994»

Adaptive User Interfaces

15 years 3 months ago

Adaptive User Interfaces

Download www.eng.utah.edu

Markus A. Thies

claim paper

Read More »

« Prev « First page 20 / 124 Last » Next »