Sciweavers

6054 search results - page 912 / 1211
» Implementation of Andorra-based Languages
Sort
View
TCS
2008
15 years 6 months ago
Cryptographically-masked flows
Abstract. Cryptographic operations are essential for many security-critical systems. Reasoning about information flow in such systems is challenging because typical (noninterferenc...
Aslan Askarov, Daniel Hedin, Andrei Sabelfeld
JOT
2007
108views more  JOT 2007»
15 years 6 months ago
Diffraction Rangefinding in Java
We describe a prototype of a diffraction range finding camera implemented in, and simulated by, Java. This sensor is able to digitize objects in 3D using only a single video camer...
Douglas Lyon
JSW
2007
81views more  JSW 2007»
15 years 6 months ago
User-Controlled Reflection on Join Points
Abstract—All aspect orientation languages provide a onesize-fits-all methodology for reflection on join points. However, the amount of resources necessary for this approach is to...
Piërre van de Laar, Rob Golsteijn
JWSR
2007
83views more  JWSR 2007»
15 years 6 months ago
Web Service Discovery and Composition for Virtual Enterprises
: One main characteristic of virtual enterprises are short-term collaborations between business partners to provide efficient and individualized services to customers. The MOVE pro...
Jürgen Dorn, Peter Hrastnik, Albert Rainer
CJ
2000
101views more  CJ 2000»
15 years 6 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...