Sciweavers

2740 search results - page 33 / 548
» Typing the Specialization Interface
Sort
View
OOPSLA
2009
Springer
14 years 4 months ago
Self type constructors
Bruce and Foster proposed the language LOOJ, an extension of Java with the notion of MyType, which represents the type of a self reference and changes its meaning along with inher...
Chieri Saito, Atsushi Igarashi
WSCG
2000
134views more  WSCG 2000»
13 years 11 months ago
Development of JAVA User Interface for Digital Television
The digital television development is one of the most important events in the history of television broadcasting. This paper highlights the user interface issue in digital televis...
Chengyuan Peng, Petri Vuorimaa
CCS
1997
ACM
14 years 2 months ago
The Security of Static Typing with Dynamic Linking
Dynamic linking is a requirement for portable executable content. Executable content cannot know, ahead of time, where it is going to be executed, nor know the proper operating sy...
Drew Dean
CJ
2000
101views more  CJ 2000»
13 years 9 months ago
Safe Structural Conformance for Java
In Java, an interface specifies public abstract methods and associated public constants. Conformance of a class to an interface is by name. We propose to allow structural conforma...
Konstantin Läufer, Gerald Baumgartner, Vincen...
EUSFLAT
2007
111views Fuzzy Logic» more  EUSFLAT 2007»
13 years 11 months ago
Lukasiewicz Filters as Convex Combinations of Crisp Filters
In this paper we investigate special types of Lukasiewicz filters. We show their connection to crisp filters. Further, we introduce the notion of Lukasiewicz ideal as a set-func...
Zuzana Havranová, Martin Kalina