Sciweavers

5856 search results - page 417 / 1172
» Developing Query Patterns
Sort
View
143
Voted
RECOMB
2004
Springer
15 years 10 months ago
Application of Kernel Method to Reveal Subtypes of TF Binding Motifs
Transcription factor binding sites often contain several subtypes of sequences that follow not just one but several different patterns. We developed a novel sensitive method based ...
Alexander E. Kel, Yuri Tikunov, Nico Voss, Jü...
ECBS
2000
IEEE
97views Hardware» more  ECBS 2000»
15 years 9 months ago
Ensuring Structure and Behavior Correctness in Design Composition
The design of a large component-based software system typically involves the composition of different components. Instead of relying on a free composition of components, we advoca...
Jing Dong, Paulo S. C. Alencar, Donald D. Cowan
SEFM
2005
IEEE
15 years 10 months ago
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
Tarek Sadani, Pierre de Saqui-Sannes, Jean-Pierre ...
PROFES
2001
Springer
15 years 9 months ago
Describing Fractal Processes with UML
Component-based software has a self-similar structure on el of abstraction, i.e. its structure is fractal. Traditional software processes, however, have a linear or iterated struct...
Harald Störrle
DAGSTUHL
2004
15 years 6 months ago
Towards an Engineering Approach to Component Adaptation
Abstract. Component adaptation needs to be taken into account when developing trustworthy systems, where the properties of component assemblies have to be reliably obtained from th...
Steffen Becker, Antonio Brogi, Ian Gorton, Sven Ov...