Sciweavers

3921 search results - page 556 / 785
» Transforming Models with ATL
Sort
View
AMAST
2004
Springer
15 years 10 months ago
Deductive Verification of Distributed Groupware Systems
Distributed groupware systems consist of a group of users manipulating a shared object (like a text document, a filesystem, etc). Operational Transformation (OT) algorithms are app...
Abdessamad Imine, Pascal Molli, Gérald Oste...
APSEC
2004
IEEE
15 years 10 months ago
A Systematic Method to Identify Software Components
In component-based development (CBD), component is the basic unit for reuse and it provides a relatively coarse-grained functionality. A component typically consists of several re...
Soo Dong Kim, Soo Ho Chang
ASWEC
2004
IEEE
15 years 10 months ago
UML Documentation Support for XML Schema
With the proliferation of XML as the lingua franca of internet information exchange, engineering XML documents and maintaining their databases becomes a major challenge. In this c...
Flora Dilys Salim, Rosanne Price, Shonali Krishnas...
165
Voted
FGR
2004
IEEE
156views Biometrics» more  FGR 2004»
15 years 10 months ago
Robust Lip Contour Extraction using Separability of Multi-Dimensional Distributions
We present a lip contour extraction method using separability of color intensity distributions. Usually it is difficult to robustly extract the outer lip contour mainly because of...
Tomokazu Wakasugi, Masahide Nishiura, Kazuhiro Fuk...
ECAI
2006
Springer
15 years 10 months ago
Bridging the Gap Between Informal and Formal Guideline Representations
Abstract. Clinical guidelines are important means to improve quality of health care while limiting cost and supporting the medical staff. They are written as free text with tables ...
Andreas Seyfang, Silvia Miksch, Mar Marcos, Joland...