Sciweavers

320 search results - page 58 / 64
» Model Driven Fast Prototyping: A Semantic Approach
Sort
View
FORMATS
2006
Springer
13 years 11 months ago
Adding Invariants to Event Zone Automata
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
Peter Niebert, Hongyang Qu
ICDE
2006
IEEE
174views Database» more  ICDE 2006»
14 years 1 months ago
The Center for Plasma Edge Simulation Workflow Requirements
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
Scott Klasky, Bertram Ludäscher, Manish Paras...
OTM
2005
Springer
14 years 1 months ago
Object-Oriented Wrapper for Relational Databases in the Data Grid Architecture
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
Kamil Kuliberda, Jacek Wislicki, Radoslaw Adamus, ...
ICIW
2008
IEEE
14 years 2 months ago
Evaluating the Use of AOP and MDA in Web Service Development
— Model-Driven Architecture (MDA) is introduced to shorten the software development time, produce better quality of code and promote the reuse of software artifacts. On the other...
Guadalupe Ortiz, Behzad Bordbar, Juan Herná...
TMM
2010
135views Management» more  TMM 2010»
13 years 2 months ago
Image Classification With Kernelized Spatial-Context
Abstract--The goal of image classification is to classify a collection of unlabeled images into a set of semantic classes. Many methods have been proposed to approach this goal by ...
Guo-Jun Qi, Xian-Sheng Hua, Yong Rui, Jinhui Tang,...