3637 search results - page 315 / 728 » On Dynamic Bit-Probe Complexity |
161
click to vote
ECAL
2007
Springer
16 years 26 days ago
2007
Springer
This paper1 introduces a simple model for evolutionary dynamics approaching the “coding threshold”, where the capacity to symbolically represent nucleic acid sequences emerges ...
209
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
174
click to vote
FOSSACS
2007
Springer
16 years 25 days ago
2007
Springer
We study the complexity of satisfiability for the expressive extension ICPDL of PDL (Propositional Dynamic Logic), which admits intersection and converse as program operations. Ou...
189
click to vote
ICFEM
2007
Springer
16 years 25 days ago
2007
Springer
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
172
click to vote
RR
2007
Springer
16 years 24 days ago
2007
Springer
Modern semantic technology is one of the necessary supports for the infrastructure of next generation information systems. In particular, large international organizations, which u...