Sciweavers

1548 search results - page 138 / 310
» Computational Approaches to Sentence Completion
Sort
View
ACMSE
2006
ACM
14 years 4 months ago
Type inference and informative error reporting for secure information flow
If we classify the variables of a program into various security levels, then a secure information flow analysis aims to verify statically that information in the program can flo...
Zhenyue Deng, Geoffrey Smith
CVPR
2010
IEEE
14 years 3 months ago
3D Curve Sketch: Flexible Curve-Based Stereo Reconstruction and Calibration
Interest point-based multiview 3D reconstruction and calibration methods have been very successful in select applications but are not applicable when an abundance of feature point...
Ricardo Fabbri, Benjamin Kimia
TIC
2000
Springer
110views System Software» more  TIC 2000»
14 years 1 months ago
Safe and Flexible Dynamic Linking of Native Code
Abstract. We present the design and implementation of the first complete framework for flexible and safe dynamic linking of native code. Our approach extends Typed Assembly Languag...
Michael W. Hicks, Stephanie Weirich, Karl Crary
CCGRID
2008
IEEE
14 years 3 days ago
A Decentralized and Cooperative Workflow Scheduling Algorithm
In the current approaches to workflow scheduling, there is no cooperation between the distributed workflow brokers and as a result, the problem of conflicting schedules occur. To o...
Rajiv Ranjan, Mustafizur Rahman 0003, Rajkumar Buy...
DCOSS
2011
Springer
12 years 10 months ago
Type-safe updating for modular WSN software
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
Barry Porter, Utz Roedig, Geoff Coulson