Sciweavers

6320 search results - page 103 / 1264

» Towards Situated Computing

112

COMPUTER
2000

64views more COMPUTER 2000»

Toward a More Reliable Theory of Software Reliability

15 years 4 months ago

Toward a More Reliable Theory of Software Reliability

Download tmp-www.cpe.ku.ac.th

James A. Whittaker, Jeffrey M. Voas

claim paper

Read More »

73

Voted

COMPUTER
1998

48views more COMPUTER 1998»

Moving Toward Effortless Networking

15 years 4 months ago

Moving Toward Effortless Networking

Download research.microsoft.com

John Callahan

claim paper

Read More »

77

COMPUTER
1998

57views more COMPUTER 1998»

Toward Decent Text Encoding

15 years 4 months ago

Toward Decent Text Encoding

Download eprints.utas.edu.au

W. Neville Holmes

claim paper

Read More »

88

COMPUTER
1999

67views more COMPUTER 1999»

Every Little Bit Counts: Toward More Reliable Software

15 years 4 months ago

Every Little Bit Counts: Toward More Reliable Software

Download se.ethz.ch

Bertrand Meyer

claim paper

Read More »

146

ICFP
2005
ACM

92views Programming Languages» more ICFP 2005»

Toward a general theory of names: binding and scope

16 years 4 months ago

Toward a general theory of names: binding and scope

Download homepages.inf.ed.ac.uk

High-level formalisms for reasoning about names and binding such uijn indices, various flavors of higher-order abstract syntax, ry of Contexts, and nominal abstract syntax address...

James Cheney

claim paper

Read More »

« Prev « First page 103 / 1264 Last » Next »