31686 search results - page 332 / 6338 » Resource typing in Guru |
FUZZIEEE
2007
IEEE
15 years 4 months ago
2007
IEEE
Fuzzy logic is frequently used in computing with words (CWW). When input words to a CWW engine are modeled by interval type-2 fuzzy sets (IT2 FSs), the CWW engine's output can...
101
click to vote
COORDINATION
2006
Springer
15 years 4 months ago
2006
Springer
We tackle the problem of providing rigorous formal foundations to current software engineering technologies for web services. We focus on two of the most used XML-based languages f...
100
click to vote
ESOP
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We present a type system for a compile-time analysis of heapspace requirements of Java style object-oriented programs with explicit deallocation. Our system is based on a...
114
click to vote
IWMM
2000
Springer
15 years 4 months ago
2000
Springer
We describe a novel approach to obtaining type-accurate information for garbage collection in a hardware and language independent way. Our approach uses a run-time analysis to pro...
111
click to vote
ITP
2010
15 years 3 months ago
2010
We present a new formalization of the algebraic hierarchy in Coq, exploiting its new type class mechanism to make practical a solution formerly thought infeasible. Our approach add...