Sciweavers

6434 search results - page 695 / 1287
» Model Transformations with Reference Models
Sort
View
CAISE
2004
Springer
16 years 22 days ago
Enriching Ontology Languages Adequacy for eBusiness Domain
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
Michele Missikoff, Federica Schiappelli
EMSOFT
2004
Springer
16 years 21 days ago
Conservative approximations for heterogeneous design
Embedded systems are electronic devices that function in the context of a real environment, by sensing and reacting to a set of stimuli. Because of their close interaction with th...
Roberto Passerone, Jerry R. Burch, Alberto L. Sang...
GLVLSI
2003
IEEE
130views VLSI» more  GLVLSI 2003»
16 years 18 days ago
Mixing ATPG and property checking for testing HW/SW interfaces
A critical part of the design of HW/SW systems concerns the definition of the HW/SW interface. Such interfaces do not directly map a functionality of the system description, but ...
Alessandro Fin, Franco Fummi, Graziano Pravadelli
SAC
2003
ACM
16 years 17 days ago
Improving Image Retrieval Effectiveness in Query-by-Example Environment
Query-by-example is the most popular query model for today’s image retrieval systems. A typical query image contains not only relevant objects (e.g., Eiffel Tower), but also ir...
Khanh Vu, Kien A. Hua, Ning Jiang
CDC
2009
IEEE
101views Control Systems» more  CDC 2009»
16 years 1 days ago
Barrier function nonlinear optimization for optimal Decompression of divers
— This paper is based on a comprehensive dynamic mathematical model (Copernicus) of vascular bubble formation and growth during and after decompression from a dive. The model des...
Le Feng, Christian R. Gutvik, Tor Arne Johansen, D...