Sciweavers

5615 search results - page 225 / 1123
» On the Computational Capabilities of Several Models
Sort
View
WISE
2002
Springer
16 years 4 days ago
UTML: Unified Transaction Modeling Language
Web transactions may be complex, composed of several sub-transactions accessing different resources including legacy systems. They may also have complex semantics. To deal with co...
Nektarios Gioldasis, Stavros Christodoulakis
BMCBI
2007
186views more  BMCBI 2007»
15 years 7 months ago
Modeling human cancer-related regulatory modules by GA-RNN hybrid algorithms
Background: Modeling cancer-related regulatory modules from gene expression profiling of cancer tissues is expected to contribute to our understanding of cancer biology as well as...
Jung-Hsien Chiang, Shih-Yi Chao
SDL
2007
192views Hardware» more  SDL 2007»
15 years 8 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
JUCS
2006
94views more  JUCS 2006»
15 years 7 months ago
UML-Based Modeling of Data-oriented WEB Applications
Abstract: Recently a growing demand has arisen for methods for the development of smalland medium scale Web Information Systems (WIS). Web applications are being built in a rapidly...
Attila Adamkó
BMCBI
2011
15 years 2 months ago
Using Stochastic Causal Trees to Augment Bayesian Networks for Modeling eQTL Datasets
Background: The combination of genotypic and genome-wide expression data arising from segregating populations offers an unprecedented opportunity to model and dissect complex phen...
Kyle C. Chipman, Ambuj K. Singh