2920 search results - page 439 / 584 » Finite information logic |
161
click to vote
ESORICS
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Access control languages which support administrative controls, and thus allow the ordinary permissions of a system to change, have traditionally been constructed with ï¬...
172
click to vote
ESWS
2004
Springer
15 years 12 months ago
2004
Springer
Existing efforts on ontology mapping, alignment and merging vary from methodological and theoretical frameworks, to methods and tools that support the semi-automatic coordination o...
177
click to vote
FSTTCS
2004
Springer
15 years 12 months ago
2004
Springer
We introduce ctm, a process calculus which embodies a notion of trust for global computing systems. In ctm each principal (location) is equipped with a policy, which determines its...
169
click to vote
VTS
2003
IEEE
15 years 11 months ago
2003
IEEE
: This paper presents a novel, low cost technique based on implications to identify untestable bridging faults in sequential circuits. Sequential symbolic simulation [1] is first p...
166
click to vote
CAISE
2003
Springer
15 years 11 months ago
2003
Springer
Extraction-Transformation-Loading (ETL) tools are pieces of software responsible for the extraction of data from several sources, their cleansing, customization and insertion into ...