Sciweavers

1520 search results - page 68 / 304
» Class Hierarchy Specialization
Sort
View
CSL
2007
Springer
13 years 11 months ago
Comparing the Expressive Power of Well-Structured Transition Systems
We compare the expressive power of a class of well-structured transition systems that includes relational automata, Petri nets, lossy channel systems, and constrained multiset rewr...
Parosh Aziz Abdulla, Giorgio Delzanno, Laurent Van...
WAIM
2000
Springer
13 years 11 months ago
An Optimal Locking Scheme in Object-Oriented Database Systems
In this paper, a locking-based concurrency control scheme is presented for object-oriented databases (OODBs). It is designed for controlling accesses to class hierarchy, which is ...
Woochun Jun, Le Gruenwald
FPLE
1995
13 years 11 months ago
Explaining Algebraic Theory with Functional Programs
Abstract. A hierarchy of six important structures from abstract algebra (groups, rings, fields etc.) is introduced as Gofer class definitions and laws about them. Many instance d...
Jeroen Fokker
TCS
2008
13 years 7 months ago
A relation between trinucleotide comma-free codes and trinucleotide circular codes
The comma-free codes and circular codes are two important classes of codes in code theory and in genetics. Fifty years ago before the discovery of the genetic code, a trinucleotid...
Christian J. Michel, Giuseppe Pirillo, Mario A. Pi...
IPCO
1996
121views Optimization» more  IPCO 1996»
13 years 9 months ago
Transitive Packing
This paper attempts to provide a better understanding of the facial structure of polyhedra previously investigated separately. It introduces the notion of transitive packing and th...
Rudolf Müller, Andreas S. Schulz