Sciweavers

413 search results - page 18 / 83
» A formalism for functionality preserving system level transf...
Sort
View
UML
2001
Springer
14 years 13 days ago
Mapping between Levels in the Metamodel Architecture
The Meta-Modeling Language is a static object-oriented modeling language whose focus is the declarative definition of languages. It aims to enable the UML metamodel to be precisely...
José M. Álvarez, Andy Evans, Paul Sa...
RTCSA
1997
IEEE
14 years 6 days ago
Behavior verification of hybrid real-time requirements by qualitative formalism
Although modern control theories have been successfully applied to solve a variety of problems, they are often mathematically and physically too specific to describe and analyze t...
Jang-Soo Lee, Sung Deok Cha
GECCO
2007
Springer
183views Optimization» more  GECCO 2007»
14 years 2 months ago
A genetic algorithm for privacy preserving combinatorial optimization
We propose a protocol for a local search and a genetic algorithm for the distributed traveling salesman problem (TSP). In the distributed TSP, information regarding the cost funct...
Jun Sakuma, Shigenobu Kobayashi
MEMOCODE
2010
IEEE
13 years 6 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
ICIP
2003
IEEE
14 years 9 months ago
Wavelet-based level set evolution for classification of textured images
We present a supervised classification model based on a variational approach. This model is specifically devoted to textured images. We want to get a partition of an image, compos...
Jean-François Aujol, Gilles Aubert, Laure B...