Sciweavers

374 search results - page 65 / 75
» Towards Translating Graph Transformation Approaches by Model...
Sort
View
105
Voted
FMAM
2010
157views Formal Methods» more  FMAM 2010»
14 years 9 months ago
An Experience on Formal Analysis of a High-Level Graphical SOA Design
: In this paper, we present the experience gained with the participation in a case study in which a novel high-level design language (UML4SOA) was used to produce a service-oriente...
Maurice H. ter Beek, Franco Mazzanti, Aldi Sulova
HICSS
2008
IEEE
130views Biometrics» more  HICSS 2008»
15 years 6 months ago
Enterprise Modeling for Information System Development within MDA
Object-oriented analysis suggests semiformal usecase driven techniques for problem domain modeling from a computation independent viewpoint. The proposed approach called Topologic...
Janis Osis, Erika Asnina
95
Voted
ICLP
2007
Springer
15 years 5 months ago
Static Region Analysis for Mercury
Abstract. Region-based memory management is a form of compiletime memory management, well-known from the functional programming world. This paper describes a static region analysis...
Quan Phan, Gerda Janssens
ESWS
2008
Springer
15 years 1 months ago
Semantic Metadata Instantiation and Consolidation within an Ontology-based Multimedia Document Management System
Abstract. Automated modeling of appropriate and valid document descriptions is a central issue for the benefit and success of an ontologybased personal document management system. ...
Annett Mitschick, Ralf Nagel 0002, Klaus Meiß...
MIAR
2006
IEEE
15 years 5 months ago
Robust Click-Point Linking for Longitudinal Follow-Up Studies
This paper proposes a novel framework for robust click-point linking: efficient localized registration that allows users to interactively prescribe where the accuracy has to be hig...
Kazunori Okada, Xiaolei Huang, Xiang Zhou, Arun Kr...