4190 search results - page 33 / 838 » Type Class Directives |
SAS
2005
Springer
14 years 1 months ago
2005
Springer
Programmers increasingly implement plugin architectures in type-safe object-oriented languages such as Java. A virtual machine can dynamically load class files containing plugins,...
ROOM
2000
13 years 9 months ago
2000
The Unified Modeling Language (UML) has been designed to be a full standard notation for Object-Oriented Modelling. UML is a rather complete set of notations, but it lacks of form...
IJIS
2002
13 years 7 months ago
2002
In the paper a fuzzy adaptive control algorithm is presented. It belongs to the class of direct model reference adaptive techniques based on a fuzzy (Takagi
SIAMCO
2008
13 years 7 months ago
2008
We consider two classes of semilinear wave equations with nonnegative damping which may be of type "on
CADE
2006
Springer
14 years 8 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...