1150 search results - page 112 / 230 » Specifying Information-Flow Controls |
COLING
1992
13 years 9 months ago
1992
: An approach to the computational treatment of style is presented in the case of generation of informative texts. We regard the style mestly as a me,as of controlled selection of ...
BPM
2010
Springer
13 years 9 months ago
2010
Springer
The processing of data is often restricted by contractual and legal requirements for protecting privacy and IPRs. Policies provide means to control how and by whom data is processe...
ICIP
2007
IEEE
13 years 8 months ago
2007
IEEE
The H.264 hypothetical reference decoder (HRD) ensures interoperability and smooth playback of video. Because the encoded bit rate may not match the channel rate, buffering and ti...
AUTOMATICA
2008
13 years 8 months ago
2008
This paper is concerned with obtaining necessary and sufficient conditions for fulfilling specified state and control pointwise-in-time constraints against a certain class of nonli...
CADE
2007
Springer
14 years 8 months ago
2007
Springer
Abstract. The verification of device drivers is essential for the pervasive verification of an operating system. To show the correctness of device drivers, devices have to be forma...