Sciweavers

12745 search results - page 364 / 2549
» Automating test automation
Sort
View
BIRTHDAY
2010
Springer
15 years 7 months ago
Automated Proofs for Asymmetric Encryption
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
Judicaël Courant, Marion Daubignard, Cristian...
IS
2006
15 years 6 months ago
A composite approach to automating direct and indirect schema mappings
Automating schema mapping is challenging. Previous approaches to automating schema mapping focus mainly on computing direct matches between two schemas. Schemas, however, rarely m...
Li Xu, David W. Embley
STTT
2008
134views more  STTT 2008»
15 years 6 months ago
Automated verification of access control policies using a SAT solver
Abstract. Managing access control policies in modern computer systems can be challenging and error-prone. Combining multiple disparate access policies can introduce unintended cons...
Graham Hughes, Tevfik Bultan
153
Voted
AROBOTS
2002
100views more  AROBOTS 2002»
15 years 6 months ago
The Demeter System for Automated Harvesting
Automation of agricultural harvesting equipment in the near term appears both economically viable and technically feasible. This paper describes the Demeter system for automated h...
Thomas Pilarski, Michael Happold, Henning Pangels,...
DATAMINE
2002
83views more  DATAMINE 2002»
15 years 6 months ago
Automated Remote Sensing with Near Infrared Reflectance Spectra: Carbonate Recognition
Reflectance spectroscopy is a standard tool for studying the mineral composition of rock and soil samples and for remote sensing of terrestrial and extraterrestrial surfaces. We de...
Joseph Ramsey, Paul Gazis, Ted Roush, Peter Spirte...