Sciweavers

6829 search results - page 1119 / 1366
» Quantitative Generalizations of Languages
Sort
View
DOCENG
2007
ACM
15 years 8 months ago
Speculative document evaluation
Optimisation of real world Variable Data printing (VDP) documents is a difficult problem because the interdependencies between layout functions may drastically reduce the number o...
Alexander J. Macdonald, David F. Brailsford, Steve...
DOCENG
2007
ACM
15 years 8 months ago
Logical document conversion: combining functional and formal knowledge
We present in this paper a method for document layout analysis based on identifying the function of document elements (what they do). This approach is orthogonal and complementary...
Hervé Déjean, Jean-Luc Meunier
ECLIPSE
2007
ACM
15 years 8 months ago
An Eclipse-based tool framework for software model management
Software development involves the use of many models and Eclipse provides an ideal infrastructure for building tools to support the use of models. While there is a large selection...
Rick Salay, Marsha Chechik, Steve M. Easterbrook, ...
CSFW
2010
IEEE
15 years 8 months ago
Information Flow in Credential Systems
—This paper proposes a systematic study of information flow in credential-based declarative authorization policies. It argues that a treatment in terms of information flow is n...
Moritz Y. Becker
CSFW
2010
IEEE
15 years 8 months ago
Constraining Credential Usage in Logic-Based Access Control
—Authorization logics allow concise specification of flexible access-control policies, and are the basis for logic-based access-control systems. In such systems, resource owner...
Lujo Bauer, Limin Jia, Divya Sharma
« Prev « First page 1119 / 1366 Last » Next »