Sciweavers

3971 search results - page 591 / 795
» On the Use of Properties in Java Applications
Sort
View
SAC
2010
ACM
16 years 1 months ago
Constraint-based LN-curves
We consider the design of parametric curves from geometric constraints such as distance from lines or points and tangency to lines or circles. We solve the Hermite problem with su...
Young Joon Ahn, Christoph M. Hoffmann
SAC
2009
ACM
16 years 28 days ago
Secure web-based retrieval of documents with usage controls
Usage controls enable the provider of some information to limit how recipients may use it. Usage controls may be desirable in enterprise environments, e.g., for regulatory complia...
Peter Djalaliev, José Carlos Brustoloni
CSFW
2008
IEEE
16 years 19 days ago
Evidence-Based Audit
Authorization logics provide a principled and flexible approach to specifying access control policies. One of their compelling benefits is that a proof in the logic is evidence ...
Jeffrey A. Vaughan, Limin Jia, Karl Mazurak, Steve...
ICIP
2007
IEEE
16 years 14 days ago
Multifocus Image Fusion by Establishing Focal Connectivity
Multifocus fusion is the process of unifying focal information from a set of input images acquired with limited depth of field. In this effort, we present a general purpose multif...
Harishwaran Hariharan, Andreas Koschan, Mongi A. A...
IEEEARES
2007
IEEE
16 years 14 days ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...