Sciweavers

996 search results - page 74 / 200
» Enhancing UML Models: A Domain Analysis Approach
Sort
View
INFFUS
2007
117views more  INFFUS 2007»
15 years 4 months ago
Pixel-based and region-based image fusion schemes using ICA bases
The task of enhancing the perception of a scene by combining information captured by different sensors is usually known as image fusion. The pyramid decomposition and the Dual-Tr...
Nikolaos Mitianoudis, Tania Stathaki
117
Voted
PDP
2006
IEEE
15 years 10 months ago
A View Based Analysis of Workflow Modeling Languages
The different approaches of emerging workflow modeling languages are manifold. Today, there exist many notations for workflow modeling with various specializations on different do...
Martin Vasko, Schahram Dustdar
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
15 years 10 months ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
POPL
2012
ACM
13 years 11 months ago
Deciding choreography realizability
Since software systems are becoming increasingly more concurrent and distributed, modeling and analysis of interactions among their components is a crucial problem. In several app...
Samik Basu, Tevfik Bultan, Meriem Ouederni
BMCBI
2005
223views more  BMCBI 2005»
15 years 4 months ago
Bioinformatics approaches for cross-species liver cancer analysis based on microarray gene expression profiling
Background: The completion of the sequencing of human, mouse and rat genomes and knowledge of cross-species gene homologies enables studies of differential gene expression in anim...
Hong Fang, Weida Tong, Roger Perkins, Leming M. Sh...