Sciweavers

2414 search results - page 182 / 483
» Computing Normal Subgroups
Sort
View
SEC
2008
13 years 10 months ago
Realizing Stateful Public Key Encryption in Wireless Sensor Network
In this paper, we present our implementation of a stateful public key encryption (stateful PKE) scheme in the wireless sensor network (WSN) environment. In order to reduce the com...
Joonsang Baek, Han Chiang Tan, Jianying Zhou, Jun ...
AUSFORENSICS
2003
13 years 10 months ago
Testing the Date Maintenance of the File Allocation Table File System
The directory entries used in the File Allocation Table filesystems maintain a significant amount of file metadata that is of interest to a forensic examiner. This information is ...
Tom Waghorn
WSCG
2003
152views more  WSCG 2003»
13 years 10 months ago
Mesh Simplification Based on Shading Characteristic
Mesh simplification is a key research area in scientific visualizationand virtual reality. The paper presents a new method of polyhedral model simplification based on vision chara...
Hui Zhang, Huazhong Shu, Limin Luo
AMAI
2008
Springer
13 years 9 months ago
Stable models and difference logic
The paper studies the relationship between logic programs with the stable model semantics and difference logic recently considered in the Satisfiability Modulo Theories framework....
Ilkka Niemelä
CORR
2008
Springer
117views Education» more  CORR 2008»
13 years 9 months ago
A High Performance Memory Database for Web Application Caches
This paper presents the architecture and characteristics of a memory database intended to be used as a cache engine for web applications. Primary goals of this database are speed a...
Ivan Voras, Danko Basch, Mario Zagar