Sciweavers

656 search results - page 39 / 132
» Parameterized Types for Java
Sort
View
BTW
2003
Springer
129views Database» more  BTW 2003»
14 years 28 days ago
Type Checking in XOBE
: XML is the upcoming standard for internet data. Java is the most important programming language for internet applications. Nevertheless, in today’s languages and tools there is...
Martin Kempa, Volker Linnemann
ESEC
1999
Springer
13 years 12 months ago
FACADE: A Typed Intermediate Language Dedicated to Smart Cards
The use of smart cards to run software modules on demand has become a major business concern for application issuers. Such downloadable executable content requires to be trusted by...
Gilles Grimaud, Jean-Louis Lanet, Jean-Jacques Van...
CORR
2007
Springer
85views Education» more  CORR 2007»
13 years 7 months ago
Multimodal Meaning Representation for Generic Dialogue Systems Architectures
An unified language for the communicative acts between agents is essential for the design of multi-agents architectures. Whatever the type of interaction (linguistic, multimodal, ...
Frédéric Landragin, Alexandre Denis,...
TOG
2008
139views more  TOG 2008»
13 years 7 months ago
Logarithmic perspective shadow maps
We present a novel shadow map parameterization to reduce perspective aliasing artifacts for both point and directional light sources. We derive the aliasing error equations for bo...
Brandon Lloyd, Naga K. Govindaraju, Cory Quammen, ...
PPPJ
2006
ACM
14 years 1 months ago
Cost and benefit of rigorous decoupling with context-specific interfaces
In Java programs, classes are coupled to each other through the use of typed references. In order to minimize coupling without changing the executed code, interfaces can be introd...
Florian Forster