Sciweavers

543 search results - page 44 / 109
» A Comparative Analysis of Process Maturity Level and Quality
Sort
View
SDL
2003
158views Hardware» more  SDL 2003»
14 years 11 months ago
Automatic Formal Model Generation and Analysis of SDL
A tool for verification of distributed systems defined using standard SDL-96 is described. The SDL description is automatically translated into a high-level Petri net model which...
Annikka Aalto, Nisse Husberg, Kimmo Varpaaniemi
BMCBI
2011
14 years 4 months ago
Context-dependent transcriptional regulations between signal transduction pathways
Background: Cells coordinate their metabolism, proliferation, and cellular communication according to environmental cues through signal transduction. Because signal transduction h...
Sohyun Hwang, Sangwoo Kim, Heesung Shin, Doheon Le...
WSC
2007
15 years 1 days ago
A model for contact center analysis and simulation
In this paper we depart from a set of simple assumptions regarding the behavior of a pool of customers associated with an enterprise’s contact center. We assume that the pool of...
Juan M. Huerta
BMCBI
2007
144views more  BMCBI 2007»
14 years 9 months ago
Gene analogue finder: a GRID solution for finding functionally analogous gene products
Background: To date more than 2,1 million gene products from more than 100000 different species have been described specifying their function, the processes they are involved in a...
Angelica Tulipano, Giacinto Donvito, Flavio Licciu...
CAIP
2001
Springer
129views Image Analysis» more  CAIP 2001»
15 years 2 months ago
MPEG 2-Based Video Coding with Three-Layer Mixed Scalability
Abstract. The paper describes a three-layer video coder based on spatiotemporal scalability and data partitioning. The base layer represents video sequences with reduced spatial an...
Marek Domanski, Slawomir Mackowiak