Sciweavers

2005 search results - page 18 / 401
» Models and Meta Models for Transactions in Web Applications
Sort
View
BMCBI
2010
185views more  BMCBI 2010»
13 years 2 months ago
MetaPIGA v2.0: maximum likelihood large phylogeny estimation using the metapopulation genetic algorithm and other stochastic heu
Background: The development, in the last decade, of stochastic heuristics implemented in robust application softwares has made large phylogeny inference a key step in most compara...
Raphaël Helaers, Michel C. Milinkovitch
ER
1994
Springer
121views Database» more  ER 1994»
13 years 11 months ago
An Executable Meta Model for Re-Engineering of Database Schemas
A logical database schema, e.g. a relational one, is an implementation of a speci cation, e.g. an entity-relationship diagram. Upcoming new data models and the necessity of seamle...
Manfred A. Jeusfeld, Uwe A. Johnen
ISOLA
2010
Springer
13 years 6 months ago
A Formal Analysis of the Web Services Atomic Transaction Protocol with UPPAAL
We present a formal analysis of the Web Services Atomic Transaction (WS-AT) protocol. WS-AT is a part of the WS-Coordination framework and describes an algorithm for reaching agree...
Anders P. Ravn, Jirí Srba, Saleem Vighio
CAISE
1994
Springer
13 years 11 months ago
A Collaborative Process-Centered Environment Kernel
The Collaborative Process-Centered Environment project (CPCE) aims at applying process modeling approach and technology to a given class of collaborative applications. The challeng...
Jacques Lonchamp
CVPR
2004
IEEE
14 years 9 months ago
MetaMorphs: Deformable Shape and Texture Models
We present a new class of deformable models, MetaMorphs, whose formulation integrates both shape and interior texture. The model deformations are derived from both boundary and re...
Xiaolei Huang, Dimitris N. Metaxas, Ting Chen