Sciweavers

4386 search results - page 704 / 878
» A Tamper-Resistant Programming Language System
Sort
View
135
Voted
JLP
2007
95views more  JLP 2007»
15 years 3 months ago
Model checking a cache coherence protocol of a Java DSM implementation
Jackal is a fine-grained distributed shared memory implementation of the Java programming language. It aims to implement Java’s memory model and allows multithreaded Java progr...
Jun Pang, Wan Fokkink, Rutger F. H. Hofman, Ronald...
127
Voted
COGSR
2011
105views more  COGSR 2011»
14 years 10 months ago
Inductive rule learning on the knowledge level
We present an application of the analytical inductive programming system Igor to learning sets of recursive rules from positive experience. We propose that this approach can be us...
Ute Schmid, Emanuel Kitzelmann
SAC
2006
ACM
15 years 9 months ago
Making tuple spaces physical with RFID tags
In this paper, we describe the design and implementation of a tuple-based distributed memory realized with the use of RFID technology. The key idea – rooted in a more general sc...
Marco Mamei, Renzo Quaglieri, Franco Zambonelli
VL
2005
IEEE
137views Visual Languages» more  VL 2005»
15 years 9 months ago
CAM: A Mobile Paper-Based Information Services Architecture for Remote Rural Areas in the Developing World
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
Tapan S. Parikh
125
Voted
APL
1992
ACM
15 years 7 months ago
Compiler Tools in APL
We present the design and implementation of APL Intrinsic Functions for a Finite State Machine (also known as a Finite State Automaton) which recognizes regular languages, and a P...
Robert Bernecky, Gert Osterburg