38 search results - page 8 / 8 » Integration in PVS: Tables, Types, and Model Checking |
ECCV
2004
Springer
14 years 7 months ago
2004
Springer
In this paper, we propose a new PDE-based methodology for deformable surfaces that is capable of automatically evolving its shape to capture the geometric boundary of the data and ...
PLDI
2009
ACM
14 years 3 days ago
2009
ACM
Decentralized information flow control (DIFC) is a promising model for writing programs with powerful, end-to-end security guarantees. Current DIFC systems that run on commodity ...
CAISE
2003
Springer
13 years 10 months ago
2003
Springer
Abstract. Even though SQL has become widely accepted as a language for implementing relational database schemas and querying data, there are cases where s experience the need for n...