18429 search results - page 157 / 3686 » Typing dynamic typing |
178
click to vote
FUZZIEEE
2007
IEEE
16 years 24 days 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...
184
click to vote
ICSE
2007
IEEE-ACM
16 years 18 days 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 ...
142
click to vote
ARGMAS
2005
Springer
16 years 7 hour 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...
149
click to vote
CSL
2005
Springer
15 years 12 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...
148
click to vote
ICTAC
2005
Springer
15 years 12 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...