Sciweavers

3122 search results - page 282 / 625
» Storing Semistructured Data with STORED
Sort
View
DAC
2001
ACM
16 years 7 months ago
Semi-Formal Test Generation with Genevieve
This paper describes the first application of the Genevieve test generation methodology. The Genevieve approach uses semi-formal techniques derived from "model-checking"...
Julia Dushina, Mike Benjamin, Daniel Geist
WWW
2008
ACM
16 years 7 months ago
Mashups for semantic user profiles
In this paper, we discuss challenges and provide solutions for capturing and maintaining accurate models of user profiles using semantic web technologies, by aggregating and shari...
Riddhiman Ghosh, Mohamed Dekhil
VLSID
2003
IEEE
104views VLSI» more  VLSID 2003»
16 years 7 months ago
Analyzing Soft Errors in Leakage Optimized SRAM Design
Reducing leakage power and improving the reliability of data stored in the memory cells are both becoming challenging as technology scales down. While the smaller threshold voltag...
Vijay Degalahal, Narayanan Vijaykrishnan, Mary Jan...
EDBT
2006
ACM
106views Database» more  EDBT 2006»
16 years 6 months ago
Natix Visual Interfaces
We present the architecture of Natix V2. Among the features of this native XML Data Store are an optimizing XPath query compiler and a powerful API. In our demonstration we explain...
Alexander Böhm 0002, Carl-Christian Kanne, Gu...
PERCOM
2005
ACM
16 years 6 months ago
Energy Analysis of Public-Key Cryptography for Wireless Sensor Networks
In this paper, we quantify the energy cost of authentication and key exchange based on public-key cryptography on an 8-bit microcontroller platform. We present a comparison of two...
Arvinderpal Wander, Nils Gura, Hans Eberle, Vipul ...