327 search results - page 8 / 66 » A Theory of Information-Flow Labels |
MKWI
2008
14 years 11 months ago
2008
: The domain of business reporting and especially financial reporting plays an important role when discussing internal and external information flows among organizational units. Th...
JCO
2007
14 years 9 months ago
2007
The problem of radio channel assignments with multiple levels of interference can be modelled using graph theory. The theory of integer vertex-labellings of graphs with distance c...
78
Voted
ENTCS
2007
14 years 9 months ago
2007
We propose a process calculus to study the behavioural theory of Mobile Ad Hoc Networks. The operational semantics of our calculus is given both in terms of a Reduction Semantics ...
JFP
2002
14 years 9 months ago
2002
We present CIL , a typed -calculus which serves as the foundation for a typed intermediate language for optimizing compilers for higher-order polymorphic programming languages. Th...
CORR
1998
Springer
14 years 9 months ago
1998
Springer
In this paper we consider the problem of theory patching, in which we are given a domain theory, some of whose components are indicated to be possibly awed, and a set of labeled t...