Search Sciweavers | Sciweavers

23201 search results - page 338 / 4641

» Rewriting Systems with Data

155

click to vote

EUROPKI
2006
Springer

145views Security Privacy» more EUROPKI 2006»

Efficient Conjunctive Keyword Search on Encrypted Data Storage System

15 years 10 months ago

Download jwbyun.ptu.ac.kr

Jin Wook Byun, Dong Hoon Lee, Jongin Lim

claim paper

Read More »

180

click to vote

FMCAD
2006
Springer

87views Formal Methods» more FMCAD 2006»

Model Checking Data-Dependent Real-Time Properties of the European Train Control System

15 years 10 months ago

Download csd.informatik.uni-oldenburg.de

Johannes Faber, Roland Meyer

claim paper

Read More »

187

click to vote

IPPS
2000
IEEE

95views Distributed And Parallel Com...» more IPPS 2000»

Power-Aware Replication of Data Structures in Distributed Embedded Real-Time Systems

15 years 10 months ago

Download ipdps.cc.gatech.edu

Osman S. Unsal, Israel Koren, C. Mani Krishna

claim paper

Read More »

143

click to vote

GD
1995
Springer

111views Computer Graphics» more GD 1995»

SWAN: A Data Structure Visualization System

15 years 10 months ago

Download people.cs.vt.edu

Jun Yang, Clifford A. Shaffer, Lenwood S. Heath

claim paper

Read More »

131

click to vote

ICDAR
1995
IEEE

75views Document Analysis» more ICDAR 1995»

A system for data extraction from forms of known class

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers