Search Sciweavers | Sciweavers

3454 search results - page 66 / 691

» Modern computer algebra

180

click to vote

SAC
2008
ACM

136views Applied Computing» more SAC 2008»

A framework for performance evaluation and functional verification in stochastic process algebras

15 years 5 months ago

Download www.win.tue.nl

Despite its relatively short history, a wealth of formalisms exist for algebraic specification of stochastic systems. The goal of this paper is to give such formalisms a unifying ...

Hossein Hojjat, Mohammad Reza Mousavi, Marjan Sirj...

claim paper

Read More »

145

Voted

SACMAT
2004
ACM

83views Control Systems» more SACMAT 2004»

Towards a credential-based implementation of compound access control policies

15 years 11 months ago

Download ls6-www.informatik.uni-dortmund.de

We describe a layered approach to access control for distributed and interoperable computing systems. Firstly, compound access control policies are conceptually speciﬁed, using ...

Joachim Biskup, Sandra Wortmann

claim paper

Read More »

183

click to vote

APIN
1998

98views more APIN 1998»

The Evolution of Concurrent Programs

15 years 5 months ago

Download www.cosc.brocku.ca

Process algebra are formal languages used for the rigorous speciﬁcation and analysis of concurrent systems. By using a process algebra as the target language of a genetic program...

Brian J. Ross

claim paper

Read More »

133

click to vote

ICCS
2009
Springer

87views Applied Computing» more ICCS 2009»

Relation Algebra Operations on Formal Contexts

16 years 5 days ago

Download www.upriss.org.uk

Uta Priss

claim paper