ICALP
1999
Springer
14 years 4 months ago
1999
Springer
Abstract. The last decades have seen the emergence of the sea of objects paradigm for structuring complex distributed systems on workstations and local area networks. In this appro...
ICALP
1999
Springer
14 years 4 months ago
1999
Springer
FSTTCS
1999
Springer
14 years 4 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
An item pool with multimedia data is a finclamental part of our project? Computerized Adaptive Test System of Chinese Proficiency. This p p e r intends to present a design of a mu...
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
In spite of the intense efforts of metrics researches, the impact of object-oriented software metrics is for the moment still quite reduced. The cause of this fact lies not in an ...
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
Experience on a large banking application has highlighted expressive weaknesses in the standard (concrete) syntax of UML, resulting in models that are under-constrained. It es, ho...
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
TOOLS
1999
IEEE
14 years 4 months ago
1999
IEEE
