1150 search results - page 105 / 230 » Specifying Information-Flow Controls |
CSFW
2005
IEEE
14 years 1 months ago
2005
IEEE
Modelling security policies requires means to specify permissions and prohibitions. However, this is generally not sufficient to express security properties such as availability ...
SEFM
2005
IEEE
14 years 1 months ago
2005
IEEE
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
WORDS
2002
IEEE
14 years 1 months ago
2002
IEEE
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
RIDE
1999
IEEE
14 years 17 days ago
1999
IEEE
Workflow systems are an emerging technology which have become increasingly important in the drive for business to provide better services and increase productivity. Intuitively, w...
CAGD
2005
13 years 8 months ago
2005
In this paper we present a novel approach to construct B-spline wavelets under constraints, taking advantage of the lifting scheme. Constrained B-spline wavelets allow multiresolu...