133 search results - page 19 / 27 » diagrams 2000 |
FSTTCS
2000
Springer
13 years 11 months ago
2000
Springer
Abstract. This paper presents the first formal verification of the RicartAgrawala algorithm [RA81] for distributed mutual exclusion of an arbitrary number of nodes. It uses the Tem...
ICPR
2000
IEEE
13 years 11 months ago
2000
IEEE
The most accurate methods for automatic classification of chromosomes under a light microscope today extract numerical features from band-pattern profiles along their longitudinal...
OODBS
2000
13 years 11 months ago
2000
A generic graphical query language for ODMG-compliant object databases is proposed, based on the ideas of Query-By-Example, and using UML-like diagrams as schema notation. Ease of ...
RELMICS
2000
Springer
13 years 11 months ago
2000
Springer
This paper presents a novel approach to the problem of finding all subgraph isomorphisms of a (pattern) graph into another (target) graph. A relational formulation of the problem, ...
UML
2000
Springer
13 years 11 months ago
2000
Springer
The emergence of the Unified Modeling Language (UML) has provided software developers with an effective and efficient shared language. However, UML is often too restrictive in init...