Sciweavers

4241 search results - page 452 / 849
» A Knowledge-Based Software Information System
Sort
View
SERP
2003
15 years 8 months ago
Specification of the Verity Learning Companion and Self-Assessment Tool
In this paper, the specification of Verity, a webbased instructional tool, is presented. Verity is intended to be used as a learning assistant and self-assessment tool, more than ...
Sergiu Dascalu, Daniela Saru, Ryan Simpson, Justin...
ECSA
2010
Springer
15 years 7 months ago
On the effectiveness of the metamorphic shield
In this paper we analyze the effectiveness of dynamic artificial diversity, i.e., artificial diversity in which the subject of the diversity is re-randomized periodically. We refer...
Anh Nguyen-Tuong, Andrew Wang, Jason Hiser, John C...
ISSRE
2010
IEEE
15 years 5 months ago
A Case Study on Safety Cases in the Automotive Domain: Modules, Patterns, and Models
—Driven by market needs and laws, automotive manufacturers develop ever more feature-rich and complex vehicles. This new functionality plays even an active role in driving, what ...
Stefan Wagner, Bernhard Schätz, Stefan Puchne...
SIGMOD
2011
ACM
204views Database» more  SIGMOD 2011»
14 years 9 months ago
Datalog and emerging applications: an interactive tutorial
We are witnessing an exciting revival of interest in recursive Datalog queries in a variety of emerging application domains such as data integration, information extraction, netwo...
Shan Shan Huang, Todd Jeffrey Green, Boon Thau Loo
UIST
2009
ACM
16 years 1 months ago
Integrated videos and maps for driving directions
While onboard navigation systems are gaining in importance, maps are still the medium of choice for laying out a route to a destination and for way finding. However, even with a ...
Billy Chen, Boris Neubert, Eyal Ofek, Oliver Deuss...