Sciweavers

9821 search results - page 1738 / 1965
» A Framework for the Development of Protocols
Sort
View
CCS
2010
ACM
15 years 6 months ago
Symbolic security analysis of ruby-on-rails web applications
Many of today's web applications are built on frameworks that include sophisticated defenses against malicious adversaries. However, mistakes in the way developers deploy tho...
Avik Chaudhuri, Jeffrey S. Foster
SIGMOD
2010
ACM
249views Database» more  SIGMOD 2010»
15 years 6 months ago
Worry-free database upgrades: automated model-driven evolution of schemas and complex mappings
Schema evolution is an unavoidable consequence of the application development lifecycle. The two primary schemas in an application, the client conceptual object model and the pers...
James F. Terwilliger, Philip A. Bernstein, Adi Unn...
DAGM
2010
Springer
15 years 6 months ago
Semi-supervised Learning of Edge Filters for Volumetric Image Segmentation
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
Margret Keuper, Robert Bensch, Karsten Voigt, Alex...
ECAI
2010
Springer
15 years 6 months ago
Stream-Based Reasoning Support for Autonomous Systems
Abstract. For autonomous systems such as unmanned aerial vehicles to successfully perform complex missions, a great deal of embedded reasoning is required at varying levels of abst...
Fredrik Heintz, Jonas Kvarnström, Patrick Doh...
167
Voted
C5
2007
IEEE
15 years 6 months ago
DR. GEO II: Adding Interactivity Planes in Interactive Dynamic Geometry
Interactive geometry environments support the creation and exploitation of interactive geometric sketches. However, such environments are often driven in a rigid manner, following...
Hilaire Fernandes, Stéphane Ducasse, Thibau...
« Prev « First page 1738 / 1965 Last » Next »