60 search results - page 10 / 12 » Arbitrary Relations in Formal Concept Analysis and Logical I... |
FOSSACS
2009
Springer
14 years 2 months ago
2009
Springer
Bisimulation between processes has been proven a successful method for formalizing security properties. We argue that in certain cases, a scheduler that has full information on the...
ESANN
2007
13 years 9 months ago
2007
Any order parameter quantifying the degree of organisation in a physical system can be studied in connection to source extraction algorithms. Independent component analysis (ICA) b...
COOPIS
2003
IEEE
14 years 1 months ago
2003
IEEE
Ontologies as means for formally specifying the vocabulary and relationship of concepts are seen playing a key role on the Semantic Web. However, the Web’s distributed nature mak...
ICEIS
2005
IEEE
14 years 1 months ago
2005
IEEE
Abstract: Interoperability for information systems remains a challenge both at the semantic and organisational levels. The original three-level architecture for local databases nee...
PLDI
2009
ACM
14 years 2 months ago
2009
ACM
Information flow controls can be used to protect both data confidentiality and data integrity. The certification of the security degree of a program that runs in untrusted envi...