Sciweavers

1953 search results - page 87 / 391
» Embedded Probabilistic Programming
Sort
View
IH
2005
Springer
15 years 10 months ago
Dither Modulation Watermarking of Dynamic Memory Traces
We describe a dynamic software watermark embedded in the memory trace of an executing Java program. Our approach is a generalisation of the spread–transform watermarking techniqu...
Alan J. Larkin, Félix Balado, Neil J. Hurle...
ICDE
1997
IEEE
121views Database» more  ICDE 1997»
16 years 6 months ago
A Persistent Hyper-Programming System
We demonstrate the use of a hyper-programming system in building persistent applications. This allows program representations to contain type-safe links to persistent objects embe...
Graham N. C. Kirby, Ronald Morrison, David S. Munr...
FECS
2006
170views Education» more  FECS 2006»
15 years 6 months ago
Multi-Paradigm Approach for Teaching Programming
: Selecting an appropriate programming paradigm in which to teach the first programming and problem solving course in a Computer Science undergraduate program has been discussed ex...
Laxmi Gewali, John T. Minor
CCS
1998
ACM
15 years 9 months ago
A Probabilistic Poly-Time Framework for Protocol Analysis
We develop a framework for analyzing security protocols in which protocol adversaries may be arbitrary probabilistic polynomial-time processes. In this framework, protocols are wr...
Patrick Lincoln, John C. Mitchell, Mark Mitchell, ...
138
Voted
INFOCOM
2009
IEEE
15 years 11 months ago
Virtual Network Embedding with Coordinated Node and Link Mapping
—Recently network virtualization has been proposed as a promising way to overcome the current ossification of the Internet by allowing multiple heterogeneous virtual networks (V...
N. M. Mosharaf Kabir Chowdhury, Muntasir Raihan Ra...