Sciweavers

6040 search results - page 510 / 1208
» Generating Instance Models from Meta Models
Sort
View
ISORC
2000
IEEE
15 years 11 months ago
Verification of UML-Based Real-Time System Designs by Means of cTLA
The Unified Modeling Language UML is well-suited for the design of real-time systems. In particular, the design of dynamic system behaviors is supported by interaction diagrams an...
Günter Graw, Peter Herrmann, Heiko Krumm
GECCO
2008
Springer
143views Optimization» more  GECCO 2008»
15 years 8 months ago
A parallel evolutionary algorithm for unconstrained binary quadratic problems
In this paper an island model is described for the unconstrained Binary Quadratic Problem (BQP), which can be used with up to 2500 binary variables. Our island model uses a master...
István Borgulya
SAT
2007
Springer
184views Hardware» more  SAT 2007»
16 years 1 months ago
Circuit Based Encoding of CNF Formula
In this paper a new circuit sat based encoding of boolean formula is proposed. It makes an original use of the concept of restrictive models introduced by Boufkhad to polynomially ...
Gilles Audemard, Lakhdar Sais
ICSE
2008
IEEE-ACM
16 years 7 months ago
Performance modeling for service oriented architectures
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
Paul Brebner
CIKM
2004
Springer
16 years 26 days ago
Regularizing translation models for better automatic image annotation
The goal of automatic image annotation is to automatically generate annotations for images to describe their content. In the past, statistical machine translation models have been...
Feng Kang, Rong Jin, Joyce Y. Chai