Search Sciweavers | Sciweavers

31686 search results - page 134 / 6338

» Resource typing in Guru

146

click to vote

AFP
2008
Springer

252views Formal Methods» more AFP 2008»

Dependently Typed Programming in Agda

15 years 11 months ago

Download www.cse.chalmers.se

Ulf Norell

claim paper

Read More »

124

click to vote

FOCI
2007
IEEE

250views Applied Computing» more FOCI 2007»

Type-2 Fuzzy Sets for Pattern Classification: A Review

15 years 11 months ago

Download www.comp.hkbu.edu.hk

Jia Zeng, Zhi-Qiang Liu

claim paper

Read More »

104

click to vote

ICSM
2007
IEEE

94views Software Engineering» more ICSM 2007»

Automated Refactoring of Legacy Java Software to Enumerated Types

15 years 11 months ago

Download www.cse.ohio-state.edu

Raffi Khatchadourian, Jason Sawin, Atanas Rountev

claim paper

Read More »

104

Voted

IPPS
2007
IEEE

105views Distributed And Parallel Com...» more IPPS 2007»

Distributed Interval Voting with Node Failures of Various Types

15 years 11 months ago

Download www.cecs.uci.edu

Behrooz Parhami

claim paper

Read More »

107

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers