691 search results - page 53 / 139 » Automatically Proving Linearizability |
ER
2004
Springer
14 years 3 months ago
2004
Springer
Abstract. Recent developments in reification of ER schemata include automatic generation of webbased database administration systems [1,2]. These systems enforce the schema cardin...
ICPR
2002
IEEE
14 years 2 months ago
2002
IEEE
Active Contour (or Snake) Model is recognized as one of the efficient tools for 2D/3D image segmentation. However, traditional snake models prove to be limited in several aspects...
CADE
2001
Springer
14 years 2 months ago
2001
Springer
The dependency pair method of Arts and Giesl is the most powerful technique for proving termination of term rewrite systems automatically. We show that the method can be improved b...
CSL
2006
Springer
14 years 1 months ago
2006
Springer
Rational graphs are a family of graphs defined using labelled rational transducers. Unlike automatic graphs (defined using synchronized transducers) the first order theory of these...
MKWI
2008
13 years 11 months ago
2008
: Process modelling has proved to be a powerful instrument to describe and manage the increasingly complex processes within and across enterprises. Yet, it requires a significant a...