31686 search results - page 332 / 6338 » Resource typing in Guru |
188
Voted
FUZZIEEE
2007
IEEE
15 years 10 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...
192
click to vote
COORDINATION
2006
Springer
15 years 10 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...
165
click to vote
ESOP
2006
Springer
15 years 10 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...
200
click to vote
IWMM
2000
Springer
15 years 10 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...
175
Voted
ITP
2010
15 years 8 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...