Sciweavers

10458 search results - page 425 / 2092
» Modeling Features at Runtime
Sort
View
ML
2006
ACM
103views Machine Learning» more  ML 2006»
16 years 23 days ago
Type-safe distributed programming for OCaml
Existing ML-like languages guarantee type-safety, ensuring memty and protecting the invariants of abstract types, but only within single executions of single programs. Distributed...
John Billings, Peter Sewell, Mark R. Shinwell, Rok...
ACSAC
2005
IEEE
16 years 13 days ago
Stealth Breakpoints
Microscopic analysis of malicious code (malware) requires the aid of a variety of powerful tools. Chief among them is a debugger that enables runtime binary analysis at an instruc...
Amit Vasudevan, Ramesh Yerraballi
MIDDLEWARE
2004
Springer
16 years 5 days ago
PoliPer: policies for mobile and pervasive environments
The need for sharing is well known in a large number of distributed applications. These applications are difficult to develop either for fully wired or mobile wireless networks. ...
Luís Veiga, Paulo Ferreira
CGO
2010
IEEE
15 years 11 months ago
Umbra: efficient and scalable memory shadowing
Shadow value tools use metadata to track properties of application data at the granularity of individual machine instructions. These tools provide effective means of monitoring an...
Qin Zhao, Derek Bruening, Saman P. Amarasinghe
ICCV
2001
IEEE
16 years 8 months ago
Model-Based Bundle Adjustment with Application to Face Modeling
We present a new model-based bundle adjustment algorithm to recover the 3D model of a scene/object from a sequence of images with unknown motions. Instead of representing scene/ob...
Ying Shan, Zicheng Liu, Zhengyou Zhang