نتایج جستجو برای: explicit information

تعداد نتایج: 1235933  

2008
Richard Bubel Reiner Hähnle Peter H. Schmitt

Specifications of programs use auxiliary symbols to encapsulate concepts for a variety of reasons: readability, reusability, structuring and, in particular, for writing recursive definitions. The definition of these symbols often depends implicitly on the value of other locations such as fields that are not stated explicitly as arguments. These hidden dependencies make the verification process ...

2006
Nickolai Zeldovich Silas Boyd-Wickizer Eddie Kohler David Mazières

HiStar is a new operating system designed to minimize the amount of code that must be trusted. HiStar provides strict information flow control, which allows users to specify precise data security policies without unduly limiting the structure of applications. HiStar’s security features make it possible to implement a Unix-like environment with acceptable performance almost entirely in an untrus...

2002
Elzbieta Dura Marek Drejak

The tool which we tested in the present monolingual retrieval task, Lexware, is based on explicit knowledge representation not on statistic language modeling. In the present task Lexware indexing seems to be satisfactory while its query builder is not. The system has been tested extensively on indexing of Swedish parliamentary debates with very good results. We are happy that Swedish is finally...

2008
Christian Haack Erik Poll Aleksy Schubert

This paper considers how explicit information flow properties can be expressed and verified in a traditional program logic, using preand postconditions. As concrete specification language for expressing these properties we use the specification language JML for Java. For this we propose a new classification of information flow properties, namely positive and negative properties, where the forme...

Journal: :Decision 2016
Mordechai Z Juni Todd M Gureckis Laurence T Maloney

The decision to gather information should take into account both the value of information and its accrual costs in time, energy and money. Here we explore how people balance the monetary costs and benefits of gathering additional information in a perceptual-motor estimation task. Participants were rewarded for touching a hidden circular target on a touch-screen display. The target's center coin...

نمودار تعداد نتایج جستجو در هر سال

با کلیک روی نمودار نتایج را به سال انتشار فیلتر کنید