18429 search results - page 157 / 3686 » Typing dynamic typing |
154
Voted
FUZZIEEE
2007
IEEE
15 years 11 months ago
2007
IEEE
— The algebra of truth values of type-2 fuzzy sets contains isomorphic copies of the algebra of truth values of type1 fuzzy sets and the algebra of truth values of interval-value...
156
Voted
ICSE
2007
IEEE-ACM
15 years 11 months ago
2007
IEEE-ACM
We propose an approach to build a changeability assessment model for source code entities. Based on this model, we will assess the changeability of evolving software systems. The ...
120
Voted
ARGMAS
2005
Springer
15 years 10 months ago
2005
Springer
Much work in the area of argumentation-based dialogues between agents has been based on the influential taxonomy of dialogue types developed by Walton and Krabbe. In this paper we...
121
Voted
CSL
2005
Springer
15 years 10 months ago
2005
Springer
Implementations of real number computations have largely been unusable in practice because of their very bad performance, especially in comparison to floating point arithmetic imp...
125
click to vote
ICTAC
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We investigate the issue of typing confidentiality in a languagebased information-flow security approach, aiming at improving some previously proposed type systems, esp...