Search Sciweavers | Sciweavers

31686 search results - page 134 / 6338

» Resource typing in Guru

click to vote

AFP
2008
Springer

252views Formal Methods» more AFP 2008»

Dependently Typed Programming in Agda

14 years 3 months ago

Download www.cse.chalmers.se

Ulf Norell

claim paper

Read More »

click to vote

FOCI
2007
IEEE

250views Applied Computing» more FOCI 2007»

Type-2 Fuzzy Sets for Pattern Classification: A Review

14 years 3 months ago

Download www.comp.hkbu.edu.hk

Jia Zeng, Zhi-Qiang Liu

claim paper

Read More »

click to vote

ICSM
2007
IEEE

94views Software Engineering» more ICSM 2007»

Automated Refactoring of Legacy Java Software to Enumerated Types

14 years 3 months ago

Download www.cse.ohio-state.edu

Raffi Khatchadourian, Jason Sawin, Atanas Rountev

claim paper

Read More »

click to vote

IPPS
2007
IEEE

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

Distributed Interval Voting with Node Failures of Various Types

14 years 3 months ago

Download www.cecs.uci.edu

Behrooz Parhami

claim paper

Read More »

click to vote

ASIAN
2007
Springer

93views Algorithms» more ASIAN 2007»

Static vs Dynamic Typing for Access Control in Pi-Calculus

14 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers