650 search results - page 33 / 130 » On Coalgebras over Algebras |
IEEEARES
2009
IEEE
15 years 5 months ago
2009
IEEE
—Alice and Bob notation is a popular way to describe security protocols: it is intuitive, succinct, and yet expressive. Several formal protocol specification languages are based...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
With the rise of XML as a standard for representing business data, XML data warehouses appear as suitable solutions for Web-based decision-support applications. In this context, i...
102
click to vote
TOPNOC
2008
14 years 10 months ago
2008
Process Algebras are formalisms for modelling concurrent systems that permit mathematical reasoning with respect to a set of desired properties. TAPAs is a tool that can be used to...
SACMAT
2004
ACM
15 years 3 months ago
2004
ACM
We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually specified, using ...
LPAR
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. Grounding is the task of reducing a first order formula to ground formula that is equivalent on a given universe, and is important in many kinds of problem solving and re...