476 search results - page 36 / 96 » The Complexity of Equality Constraint Languages |
TCS
2011
13 years 3 months ago
2011
In this paper, we introduce block insertion and deletion on trajectories, which provide us with a new framework to study properties of language operations. With the parallel synta...
ICALP
2000
Springer
14 years 15 days ago
2000
Springer
We establish that the algorithmic complexity of the minimum spanning tree problem is equal to its decision-tree complexity. Specifically, we present a deterministic algorithm to fi...
IFIP
2000
Springer
14 years 15 days ago
2000
Springer
Information systems research is concerned with complex imbroglios of human and non-human components. As researchers, we need ways to represent the intricacies of the different sta...
TRUSTBUS
2009
Springer
14 years 3 months ago
2009
Springer
Abstract. Existing policy languages suffer from a limited ability of directly and elegantly expressing high-level access control principles such as history-based separation of dut...
ESAW
2006
Springer
14 years 18 days ago
2006
Springer
Abstract. Current approaches to multi-agent interaction involve specifying protocols as sets of possible interactions, and hard-coding decision mechanisms into agent programs in or...