Sciweavers

48 search results - page 7 / 10
» Lattices of Relatively Axiomatizable Classes
Sort
View
APAL
2008
102views more  APAL 2008»
14 years 10 months ago
Partial automorphism semigroups
Abstract. We study the relationship between algebraic structures and their inverse semigroups of partial automorphisms. We consider a variety of classes of natural structures inclu...
Jennifer Chubb, Valentina S. Harizanov, Andrei S. ...
COCOON
1999
Springer
15 years 2 months ago
On Routing in Circulant Graphs
We investigate various problems related to circulant graphs – finding the shortest path between two vertices, finding the shortest loop, and computing the diameter. These probl...
Jin-yi Cai, George Havas, Bernard Mans, Ajay Nerur...
SP
1996
IEEE
15 years 2 months ago
View-Based Access Control with High Assurance
View-based access control enables content-based and context-based security, as opposed to container-based security provided in operating systems. However, view-based access contro...
Xiaolei Qian
FOIS
2001
14 years 11 months ago
A note on proximity spaces and connection based mereology
-- Representation theorems for systems of regions have been of interest for some time, and various contexts have been used for this purpose: Mormann [17] has demonstrated the fruit...
Dimiter Vakarelov, Ivo Düntsch, Brandon Benne...
ICALP
2005
Springer
15 years 3 months ago
Petri Algebras
The firing rule of Petri nets relies on a residuation operation for the commutative monoid of natural numbers. We identify a class of residuated commutative monoids, called Petri ...
Eric Badouel, Jules Chenou, Goulven Guillou