Sciweavers

2171 search results - page 17 / 435
» Combining Funnels: A Dynamic Approach to Software Combining
Sort
View
SIGSOFT
2001
ACM
16 years 5 months ago
Combining UML and formal notations for modelling real-time systems
This article explores a dual approach to real-time software development. Models are written in UML, as this is expected to be relatively easy and economic. Then models are automat...
Luigi Lavazza, Gabriele Quaroni, Matteo Venturelli
FORMATS
2007
Springer
15 years 8 months ago
Combining Formal Verification with Observed System Execution Behavior to Tune System Parameters
Resource limited DRE (Distributed Real-time Embedded) systems can benefit greatly from dynamic adaptation of system parameters. We propose a novel approach that employs iterative t...
Minyoung Kim, Mark-Oliver Stehr, Carolyn L. Talcot...
EACL
2003
ACL Anthology
15 years 5 months ago
Combining Clues for Word Alignment
In this paper, a word alignment approach is presented which is based on a combination of clues. Word alignment clues indicate associations between words and phrases. They can be b...
Jörg Tiedemann
IJISTA
2008
164views more  IJISTA 2008»
15 years 4 months ago
Combining Time-Of-Flight depth and stereo images without accurate extrinsic calibration
: We combine a low resolution time-of-flight depth image camera based on photonic mixer devices with two standard cameras in a stereo configuration. We show that this approach is u...
Uwe Hahne, Marc Alexa
IWPC
2007
IEEE
15 years 10 months ago
Combining Formal Concept Analysis with Information Retrieval for Concept Location in Source Code
The paper addresses the problem of concept location in source code by presenting an approach which combines Formal Concept Analysis (FCA) and Latent Semantic Indexing (LSI). In th...
Denys Poshyvanyk, Andrian Marcus