Sciweavers

3948 search results - page 374 / 790
» Integration Workbench: Integrating Schema Integration Tools
Sort
View
FM
2008
Springer
135views Formal Methods» more  FM 2008»
15 years 8 months ago
Secret Ninja Formal Methods
The use of formal methods can significantly improve software quality. However, many instructors and students consider formal methods to be too difficult, impractical, and esoteric ...
Joseph R. Kiniry, Daniel M. Zimmerman
CIIT
2007
133views Communications» more  CIIT 2007»
15 years 8 months ago
A cross-platform solution for bibliographic record manipulation in digital libraries
We investigate the problem of a collaborative digital library collection that allows librarians and non-librarians alike to share information on specific topics through MARC reco...
Wendy Osborn, D. Kaur, K. Crewdson, I. Dew
PTS
2008
123views Hardware» more  PTS 2008»
15 years 8 months ago
Model-Based Firewall Conformance Testing
Firewalls are a cornerstone of todays security infrastructure for networks. Their configuration, implementing a firewall policy, is inherently complex, hard to understand, and diff...
Achim D. Brucker, Lukas Brügger, Burkhart Wol...
DGO
2003
147views Education» more  DGO 2003»
15 years 8 months ago
A Framework for the Representation of Geospatial Image Processing Operations
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...
Vijay Venkataraman, Peggy Agouris
IADIS
2003
15 years 8 months ago
A Flexible Approach to Semi-Automatic Accessibility Evaluation
Experience in preparing Web content for people with visual disabilities shows that automatic testing of accessibility is clearly insufficient to meet real-world demands, and that ...
Mireille Blay-Fornarino, Karima Boudaoud, Anne-Mar...