Sciweavers

653 search results - page 12 / 131
» Implications of a Data Structure Consistency Checking System
Sort
View
MMM
2005
Springer
138views Multimedia» more  MMM 2005»
14 years 1 months ago
Modeling of Output Constraints in Multimedia Database Systems
Constraints are used in traditional database systems to define consistent database states. For multimedia data it is also important to define constraints for a correct data outp...
Thomas Heimrich
WCRE
2008
IEEE
14 years 2 months ago
Data Model Reverse Engineering in Migrating a Legacy System to Java
Central to any legacy migration project is the translation of the data model. Decisions made here will have strong implications to the rest of the translation. Some legacy languag...
Mariano Ceccato, Thomas Roy Dean, Paolo Tonella, D...
EDBTW
2004
Springer
14 years 1 months ago
Data Sharing and Querying for Peer-to-Peer Data Management Systems
In this work, we investigate mechanisms to support data sharing and querying in a peer-to-peer data management system, that is, a peer-to-peer system where each peer manages its ow...
Anastasios Kementsietsidis
CCECE
2011
IEEE
12 years 7 months ago
Towards a portable, memory-efficient test system for Conducted Energy Weapons
We present a readily portable, memory-efficient performance test system (PTS) for Tasers. The proposed PTS has been developped for the most widely used Conducted Energy Weapons (...
Peyman Rahmati, David Dawson, Andy Adler
SP
2010
IEEE
152views Security Privacy» more  SP 2010»
13 years 5 months ago
Scalable Parametric Verification of Secure Systems: How to Verify Reference Monitors without Worrying about Data Structure Size
The security of systems such as operating systems, hypervisors, and web browsers depend critically on reference monitors to correctly enforce their desired security policy in the ...
Jason Franklin, Sagar Chaki, Anupam Datta, Arvind ...