1634 search results - page 271 / 327 » Classifying Technical Terms |
161
click to vote
AIWORC
2000
IEEE
15 years 7 months ago
2000
IEEE
The "schooling industry" is faced with an inescapable demand to redefine its endeavors in terms of producing learning, rather than providing instructions. We propose a h...
152
click to vote
ICFP
2000
ACM
15 years 7 months ago
2000
ACM
This paper describes FC++: a rich library supporting functional programming in C++. Prior approaches to encoding higher order functions in C++ have suffered with respect to polymo...
105
click to vote
CAISE
2000
Springer
15 years 7 months ago
2000
Springer
This paper presents an approach and a tool to increase specification quality by using a combination of UML and formal languages. Our approach is based on the expression of the UML ...
128
click to vote
WAN
1998
Springer
15 years 7 months ago
1998
Springer
In this paper the Northrhine-Westphalian metacomputing initiative is described. We start by discussing various general aspects of metacomputing and explain the reasons for founding...
117
click to vote
VLDB
1997
ACM
15 years 7 months ago
1997
ACM
The current integrated developments in network and computing give rise to a technical infrastructure for the information society which one may variously circumscribe by terms such...